Symbol: arch_timer_set_cntkctl
drivers/clocksource/arm_arch_timer.c
731
arch_timer_set_cntkctl(cntkctl);
drivers/clocksource/arm_arch_timer.c
804
arch_timer_set_cntkctl(cntkctl);
drivers/clocksource/arm_arch_timer.c
979
arch_timer_set_cntkctl(__this_cpu_read(saved_cntkctl));