Symbol: hpet_timer_interrupt
src/add-ons/kernel/drivers/timer/hpet.cpp
258
status_t status = install_io_interrupt_handler(interrupt, &hpet_timer_interrupt, cookie, 0);
src/add-ons/kernel/drivers/timer/hpet.cpp
491
remove_io_interrupt_handler(hpetCookie->irq, &hpet_timer_interrupt, hpetCookie);
src/system/kernel/arch/x86/timers/x86_hpet.cpp
282
install_io_interrupt_handler(configuredIRQ, &hpet_timer_interrupt,