SYS_CNTKCTL        60 arch/arm64/kvm/hyp/sysreg-sr.c 	ctxt->sys_regs[CNTKCTL_EL1]	= read_sysreg_el1(SYS_CNTKCTL);
SYS_CNTKCTL       134 arch/arm64/kvm/hyp/sysreg-sr.c 	write_sysreg_el1(ctxt->sys_regs[CNTKCTL_EL1],	SYS_CNTKCTL);