SYS_SCTLR_EL12     84 arch/arm64/kvm/sys_regs.c 	case SCTLR_EL1:		return read_sysreg_s(SYS_SCTLR_EL12);
SYS_SCTLR_EL12    127 arch/arm64/kvm/sys_regs.c 	case SCTLR_EL1:		write_sysreg_s(val, SYS_SCTLR_EL12);	return;