ICH_HFGRTR_EL2
case ICH_HFGRTR_EL2:
case ICH_HFGRTR_EL2:
case ICH_HFGRTR_EL2:
__compute_fgt(vcpu, ICH_HFGRTR_EL2);
*vcpu_fgt(vcpu, ICH_HFGRTR_EL2) &= ~(ICH_HFGRTR_EL2_ICC_IAFFIDR_EL1 |
fgtreg = is_read ? ICH_HFGRTR_EL2 : ICH_HFGWTR_EL2;
__activate_fgt(hctxt, vcpu, ICH_HFGRTR_EL2);
__deactivate_fgt(hctxt, vcpu, ICH_HFGRTR_EL2);