arch_timer_set_cntkctl 122 arch/arm/include/asm/arch_timer.h static inline void arch_timer_set_cntkctl(u32 cntkctl) arch_timer_set_cntkctl 161 arch/arm64/include/asm/arch_timer.h static inline void arch_timer_set_cntkctl(u32 cntkctl)