arch_timer_get_cntkctl  797 drivers/clocksource/arm_arch_timer.c 	u32 cntkctl = arch_timer_get_cntkctl();
arch_timer_get_cntkctl  823 drivers/clocksource/arm_arch_timer.c 	u32 cntkctl = arch_timer_get_cntkctl();
arch_timer_get_cntkctl 1027 drivers/clocksource/arm_arch_timer.c 		__this_cpu_write(saved_cntkctl, arch_timer_get_cntkctl());