SYS_TTBR1_EL12     88 arch/arm64/kvm/sys_regs.c 	case TTBR1_EL1:		return read_sysreg_s(SYS_TTBR1_EL12);
SYS_TTBR1_EL12    131 arch/arm64/kvm/sys_regs.c 	case TTBR1_EL1:		write_sysreg_s(val, SYS_TTBR1_EL12);	return;