SYS_CNTKCTL_EL12  101 arch/arm64/kvm/sys_regs.c 	case CNTKCTL_EL1:	return read_sysreg_s(SYS_CNTKCTL_EL12);
SYS_CNTKCTL_EL12  144 arch/arm64/kvm/sys_regs.c 	case CNTKCTL_EL1:	write_sysreg_s(val, SYS_CNTKCTL_EL12);	return;