Symbol: timer_init
src/system/boot/platform/efi/timer.cpp
28
timer_init(void)
src/system/kernel/timer.cpp
209
timer_init(kernel_args* args)