arch_timer_arch_init   19 arch/arm/include/asm/arch_timer.h int arch_timer_arch_init(void);
arch_timer_arch_init 1204 drivers/clocksource/arm_arch_timer.c 	return arch_timer_arch_init();