Searched refs:NXGE_GUEST_TIMER (Results 1 – 1 of 1) sorted by relevance
826 #define NXGE_GUEST_TIMER 500 /* 1/2 second, for now */ macro875 (void *)vr, drv_usectohz(1000 * NXGE_GUEST_TIMER)); in nxge_hio_start_timer()913 drv_usectohz(1000 * NXGE_GUEST_TIMER)); in nxge_check_guest_state()