HFGWTR_EL2
case HFGWTR_EL2:
case HFGWTR_EL2: \
case HFGWTR_EL2:
case HFGWTR_EL2:
__compute_fgt(vcpu, HFGWTR_EL2);
*vcpu_fgt(vcpu, HFGWTR_EL2) |= HFGWTR_EL2_TCR_EL1;
fgtreg = is_read ? HFGRTR_EL2 : HFGWTR_EL2;
__activate_fgt(hctxt, vcpu, HFGWTR_EL2);
__deactivate_fgt(hctxt, vcpu, HFGWTR_EL2);
(__vcpu_sys_reg(vcpu, HFGWTR_EL2) & HFGWTR_EL2_ICC_IGRPENn_EL1))
(__vcpu_sys_reg(vcpu, HFGWTR_EL2) & HFGWTR_EL2_ICC_IGRPENn_EL1))
resx = get_reg_fixed_bits(kvm, HFGWTR_EL2);
set_sysreg_masks(kvm, HFGWTR_EL2, resx);
EL2_REG_VNCR_FILT(HFGWTR_EL2, fgt_visibility),
REG_FEAT(HFGWTR_EL2, ID_AA64MMFR0_EL1, FGT, IMP),
SYS_REG(HFGWTR_EL2),