Symbol: hpet_timer_interrupt
src/add-ons/kernel/drivers/timer/hpet.cpp
130
hpet_timer_interrupt(void *arg)
src/system/kernel/arch/x86/timers/x86_hpet.cpp
64
hpet_timer_interrupt(void *arg)