hxge_check_hw_state
hxgep->hxge_timerid = hxge_start_timer(hxgep, hxge_check_hw_state,
void hxge_check_hw_state(p_hxge_t hxgep);
hxge_check_hw_state, HXGE_CHECK_TIMER);