SYS_TCR_EL12       89 arch/arm64/kvm/sys_regs.c 	case TCR_EL1:		return read_sysreg_s(SYS_TCR_EL12);
SYS_TCR_EL12      132 arch/arm64/kvm/sys_regs.c 	case TCR_EL1:		write_sysreg_s(val, SYS_TCR_EL12);	return;