cntkctl           117 arch/arm/include/asm/arch_timer.h 	u32 cntkctl;
cntkctl           118 arch/arm/include/asm/arch_timer.h 	asm volatile("mrc p15, 0, %0, c14, c1, 0" : "=r" (cntkctl));
cntkctl           119 arch/arm/include/asm/arch_timer.h 	return cntkctl;
cntkctl           122 arch/arm/include/asm/arch_timer.h static inline void arch_timer_set_cntkctl(u32 cntkctl)
cntkctl           124 arch/arm/include/asm/arch_timer.h 	asm volatile("mcr p15, 0, %0, c14, c1, 0" : : "r" (cntkctl));
cntkctl           161 arch/arm64/include/asm/arch_timer.h static inline void arch_timer_set_cntkctl(u32 cntkctl)
cntkctl           163 arch/arm64/include/asm/arch_timer.h 	write_sysreg(cntkctl, cntkctl_el1);
cntkctl           797 drivers/clocksource/arm_arch_timer.c 	u32 cntkctl = arch_timer_get_cntkctl();
cntkctl           799 drivers/clocksource/arm_arch_timer.c 	cntkctl &= ~ARCH_TIMER_EVT_TRIGGER_MASK;
cntkctl           801 drivers/clocksource/arm_arch_timer.c 	cntkctl |= (divider << ARCH_TIMER_EVT_TRIGGER_SHIFT)
cntkctl           803 drivers/clocksource/arm_arch_timer.c 	arch_timer_set_cntkctl(cntkctl);
cntkctl           823 drivers/clocksource/arm_arch_timer.c 	u32 cntkctl = arch_timer_get_cntkctl();
cntkctl           827 drivers/clocksource/arm_arch_timer.c 	cntkctl &= ~(ARCH_TIMER_USR_PT_ACCESS_EN
cntkctl           841 drivers/clocksource/arm_arch_timer.c 		cntkctl |= ARCH_TIMER_USR_VCT_ACCESS_EN;
cntkctl           843 drivers/clocksource/arm_arch_timer.c 	arch_timer_set_cntkctl(cntkctl);