Symbol: vhpet_timer_interrupt_enabled
sys/amd64/vmm/io/vhpet.c
221
if (!vhpet_timer_interrupt_enabled(vhpet, n))
sys/amd64/vmm/io/vhpet.c
451
if (!vhpet_timer_interrupt_enabled(vhpet, n))