Symbol: vhpet_timer_interrupt
usr/src/uts/intel/io/vmm/io/vhpet.c
314
vhpet_timer_interrupt(vhpet, n);
usr/src/uts/intel/io/vmm/io/vhpet.c
334
vhpet_timer_interrupt(vhpet, n);