arch_timer_get_cntkctl  115 arch/arm/include/asm/arch_timer.h static inline u32 arch_timer_get_cntkctl(void)
arch_timer_get_cntkctl  156 arch/arm64/include/asm/arch_timer.h static inline u32 arch_timer_get_cntkctl(void)