saved_cntkctl    1022 drivers/clocksource/arm_arch_timer.c static DEFINE_PER_CPU(unsigned long, saved_cntkctl);
saved_cntkctl    1027 drivers/clocksource/arm_arch_timer.c 		__this_cpu_write(saved_cntkctl, arch_timer_get_cntkctl());
saved_cntkctl    1031 drivers/clocksource/arm_arch_timer.c 		arch_timer_set_cntkctl(__this_cpu_read(saved_cntkctl));