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)