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)