Symbol: NXGE_GUEST_TIMER
usr/src/uts/common/io/nxge/nxge_hio_guest.c
875
(void *)vr, drv_usectohz(1000 * NXGE_GUEST_TIMER));
usr/src/uts/common/io/nxge/nxge_hio_guest.c
913
drv_usectohz(1000 * NXGE_GUEST_TIMER));