arch_timer_arch_init   31 arch/arm/kernel/arch_timer.c int __init arch_timer_arch_init(void)
arch_timer_arch_init  228 arch/arm64/include/asm/arch_timer.h static inline int arch_timer_arch_init(void)