Symbol: arch_timer_init
headers/private/kernel/boot/platform/efi/arch_timer.h
8
void arch_timer_init(void);
src/system/boot/platform/efi/timer.cpp
30
arch_timer_init();