Symbol: HPET_TIMER1_INTERRUPT
sys/dev/acpi/acpihpet.c
132
sc->sc_ioh, HPET_TIMER1_INTERRUPT);
sys/dev/acpi/acpihpet.c
162
HPET_TIMER1_INTERRUPT, sc->sc_save.timers[1].interrupt);