cntp_ctl_el0      109 arch/arm64/include/asm/arch_timer.h 			write_sysreg(val, cntp_ctl_el0);
cntp_ctl_el0      135 arch/arm64/include/asm/arch_timer.h 			return read_sysreg(cntp_ctl_el0);