Symbol: hpet_get_priority
src/system/kernel/arch/x86/timers/x86_hpet.cpp
35
static int hpet_get_priority();
src/system/kernel/arch/x86/timers/x86_hpet.cpp
43
&hpet_get_priority,