Symbol: vhpet_timer_interrupt
sys/amd64/vmm/io/vhpet.c
310
vhpet_timer_interrupt(vhpet, n);
sys/amd64/vmm/io/vhpet.c
333
vhpet_timer_interrupt(vhpet, n);