Symbol: arch_timer_set_cntkctl
arch/arm/include/asm/arch_timer.h
129
static inline void arch_timer_set_cntkctl(u32 cntkctl)
arch/arm64/include/asm/arch_timer.h
164
static inline void arch_timer_set_cntkctl(u32 cntkctl)