Symbol: arch_timer_get_cntkctl
drivers/clocksource/arm_arch_timer.c
717
u32 cntkctl = arch_timer_get_cntkctl();
drivers/clocksource/arm_arch_timer.c
785
u32 cntkctl = arch_timer_get_cntkctl();
drivers/clocksource/arm_arch_timer.c
977
__this_cpu_write(saved_cntkctl, arch_timer_get_cntkctl());