HFGITR_EL2
case HFGITR_EL2:
case HFGITR_EL2:
case HFGITR_EL2:
__compute_fgt(vcpu, HFGITR_EL2);
fgtreg = HFGITR_EL2;
fwd &= (__vcpu_sys_reg(vcpu, HFGITR_EL2) & HFGITR_EL2_PSBCSYNC);
__activate_fgt(hctxt, vcpu, HFGITR_EL2);
__deactivate_fgt(hctxt, vcpu, HFGITR_EL2);
(__vcpu_sys_reg(vcpu, HFGITR_EL2) & HFGITR_EL2_ERET))
resx = get_reg_fixed_bits(kvm, HFGITR_EL2);
set_sysreg_masks(kvm, HFGITR_EL2, resx);
EL2_REG_VNCR(HFGITR_EL2, reset_val, 0),
REG_FEAT(HFGITR_EL2, ID_AA64MMFR0_EL1, FGT, IMP),
SYS_REG(HFGITR_EL2),