Searched refs:platform_handle_apic_timer_tick (Results 1 - 3 of 3) sorted by relevance

/fuchsia/zircon/kernel/arch/x86/include/arch/x86/
H A Dapic.h84 void platform_handle_apic_timer_tick(void);
/fuchsia/zircon/kernel/arch/x86/
H A Dlapic.cpp415 platform_handle_apic_timer_tick();
/fuchsia/zircon/kernel/platform/pc/
H A Dtimer.cpp184 void platform_handle_apic_timer_tick(void) { function

Completed in 27 milliseconds