TCR2_EL2
return vcpu_read_sys_reg(vcpu, TCR2_EL2);
static const DECLARE_FEAT_MAP(tcr2_el2_desc, TCR2_EL2,
case TCR2_EL2:
write_sysreg_el1(__vcpu_sys_reg(vcpu, TCR2_EL2), SYS_TCR2);
__vcpu_assign_sys_reg(vcpu, TCR2_EL2, read_sysreg_el1(SYS_TCR2));
resx = get_reg_fixed_bits(kvm, TCR2_EL2);
set_sysreg_masks(kvm, TCR2_EL2, resx);
MAPPED_EL2_SYSREG(TCR2_EL2, TCR2_EL1, NULL );
EL2_REG_FILTERED(TCR2_EL2, access_rw, reset_val, TCR2_EL2_RES1,
REG_FEAT(TCR2_EL2, ID_AA64MMFR3_EL1, TCRX, IMP),
SYS_REG(TCR2_EL2),
MAPPED_EL2_SYSREG(TCR2_EL2, TCR2_EL1);