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