SYS_TTBR0_EL12     87 arch/arm64/kvm/sys_regs.c 	case TTBR0_EL1:		return read_sysreg_s(SYS_TTBR0_EL12);
SYS_TTBR0_EL12    130 arch/arm64/kvm/sys_regs.c 	case TTBR0_EL1:		write_sysreg_s(val, SYS_TTBR0_EL12);	return;