res0 |= HFGRTR_EL2_nS2POR_EL1;
        if (!kvm_has_feat(kvm, ID_AA64MMFR3_EL1, AIE, IMP))
                res0 |= (HFGRTR_EL2_nMAIR2_EL1 | HFGRTR_EL2_nAMAIR2_EL1);
-       set_sysreg_masks(kvm, HFGRTR_EL2, res0 | __HFGRTR_EL2_RES0, res1);
-       set_sysreg_masks(kvm, HFGWTR_EL2, res0 | __HFGWTR_EL2_RES0, res1);
+       set_sysreg_masks(kvm, HFGRTR_EL2, res0 | hfgrtr_masks.res0, res1);
+       set_sysreg_masks(kvm, HFGWTR_EL2, res0 | hfgwtr_masks.res0, res1);
 
        /* HDFG[RW]TR_EL2 */
        res0 = res1 = 0;
                         HDFGRTR_EL2_nBRBDATA);
        if (!kvm_has_feat(kvm, ID_AA64DFR0_EL1, PMSVer, V1P2))
                res0 |= HDFGRTR_EL2_nPMSNEVFR_EL1;
-       set_sysreg_masks(kvm, HDFGRTR_EL2, res0 | HDFGRTR_EL2_RES0, res1);
+       set_sysreg_masks(kvm, HDFGRTR_EL2, res0 | hdfgrtr_masks.res0, res1);
 
        /* Reuse the bits from the read-side and add the write-specific stuff */
        if (!kvm_has_feat(kvm, ID_AA64DFR0_EL1, PMUVer, IMP))
                res0 |= HDFGWTR_EL2_TRCOSLAR;
        if (!kvm_has_feat(kvm, ID_AA64DFR0_EL1, TraceFilt, IMP))
                res0 |= HDFGWTR_EL2_TRFCR_EL1;
-       set_sysreg_masks(kvm, HFGWTR_EL2, res0 | HDFGWTR_EL2_RES0, res1);
+       set_sysreg_masks(kvm, HFGWTR_EL2, res0 | hdfgwtr_masks.res0, res1);
 
        /* HFGITR_EL2 */
-       res0 = HFGITR_EL2_RES0;
+       res0 = hfgitr_masks.res0;
        res1 = HFGITR_EL2_RES1;
        if (!kvm_has_feat(kvm, ID_AA64ISAR1_EL1, DPB, DPB2))
                res0 |= HFGITR_EL2_DCCVADP;
        set_sysreg_masks(kvm, HFGITR_EL2, res0, res1);
 
        /* HAFGRTR_EL2 - not a lot to see here */
-       res0 = HAFGRTR_EL2_RES0;
+       res0 = hafgrtr_masks.res0;
        res1 = HAFGRTR_EL2_RES1;
        if (!kvm_has_feat(kvm, ID_AA64PFR0_EL1, AMU, V1P1))
                res0 |= ~(res0 | res1);