Symbol: arch_init_timer
headers/private/kernel/arch/timer.h
18
extern int arch_init_timer(struct kernel_args *args);
src/system/kernel/timer.cpp
213
if (arch_init_timer(args) != B_OK)