Symbol: arch_timer_register
drivers/clocksource/arm_arch_timer.c
1180
ret = arch_timer_register();
drivers/clocksource/arm_arch_timer.c
1237
ret = arch_timer_register();