__arch_timer_setup  870 drivers/clocksource/arm_arch_timer.c 	__arch_timer_setup(ARCH_TIMER_TYPE_CP15, clk);
__arch_timer_setup 1146 drivers/clocksource/arm_arch_timer.c 	__arch_timer_setup(ARCH_TIMER_TYPE_MEM, &t->evt);