TCR_EL2
tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, TCR_EL2), SYS_TCR);
val = translate_tcr_el2_to_tcr_el1(__vcpu_sys_reg(vcpu, TCR_EL2));
__vcpu_assign_sys_reg(vcpu, TCR_EL2, read_sysreg_el1(SYS_TCR));
tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
u64 tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
u64 tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
MAPPED_EL2_SYSREG(TCR_EL2, TCR_EL1,
EL2_REG(TCR_EL2, access_rw, reset_val, TCR_EL2_RES1),
SYS_REG(TCR_EL2),
MAPPED_EL2_SYSREG(TCR_EL2, TCR_EL1);