cntv_ctl_el0      118 arch/arm64/include/asm/arch_timer.h 			write_sysreg(val, cntv_ctl_el0);
cntv_ctl_el0      142 arch/arm64/include/asm/arch_timer.h 			return read_sysreg(cntv_ctl_el0);