Symbol: arch_timer_arch_init
arch/arm/include/asm/arch_timer.h
20
int arch_timer_arch_init(void);
drivers/clocksource/arm_arch_timer.c
1090
return arch_timer_arch_init();