TCR_EL1
write_sysreg_el1(vcpu_read_sys_reg(vcpu, TCR_EL1), SYS_TCR);
tcr = vcpu_read_sys_reg(vcpu, TCR_EL1);
ctxt_sys_reg(ctxt, TCR_EL1) = read_sysreg_el1(SYS_TCR);
write_sysreg_el1(ctxt_sys_reg(ctxt, TCR_EL1), SYS_TCR);
write_sysreg_el1((ctxt_sys_reg(ctxt, TCR_EL1) |
write_sysreg_el1(ctxt_sys_reg(ctxt, TCR_EL1), SYS_TCR);
write_sysreg_el1(ctxt_sys_reg(ctxt, TCR_EL1), SYS_TCR);
if (vcpu_read_sys_reg(vcpu, TCR_EL1) & TTBCR_EAE) {
!(vcpu_read_sys_reg(vcpu, TCR_EL1) & TTBCR_EAE))
tcr = vcpu_read_sys_reg(vcpu, TCR_EL1);
case TCR_EL1:
MAPPED_EL2_SYSREG(TCR_EL2, TCR_EL1,
case TCR_EL1: val = read_sysreg_s(SYS_TCR_EL12); break;
case TCR_EL1: write_sysreg_s(val, SYS_TCR_EL12); break;
{ SYS_DESC(SYS_TCR_EL1), access_vm_reg, reset_val, TCR_EL1, 0 },
{ AA32(LO), Op1( 0), CRn( 2), CRm( 0), Op2( 2), access_vm_reg, NULL, TCR_EL1 },
{ AA32(HI), Op1( 0), CRn( 2), CRm( 0), Op2( 3), access_vm_reg, NULL, TCR_EL1 },
MAPPED_EL2_SYSREG(TCR_EL2, TCR_EL1);