Symbol: apic_timer_get_priority
src/system/kernel/arch/x86/timers/x86_apic.cpp
32
static int apic_timer_get_priority();
src/system/kernel/arch/x86/timers/x86_apic.cpp
41
&apic_timer_get_priority,