Symbol: SYS_TTBR1_EL12
arch/arm64/kvm/sys_regs.c
226
case TTBR1_EL1: val = read_sysreg_s(SYS_TTBR1_EL12); break;
arch/arm64/kvm/sys_regs.c
264
case TTBR1_EL1: write_sysreg_s(val, SYS_TTBR1_EL12); break;