static const struct encoding_to_trap_config encoding_to_fgt[] __initconst = {
        /* HFGRTR_EL2, HFGWTR_EL2 */
-       SR_FGT(SYS_AMAIR2_EL1,          HFGxTR, nAMAIR2_EL1, 0),
-       SR_FGT(SYS_MAIR2_EL1,           HFGxTR, nMAIR2_EL1, 0),
-       SR_FGT(SYS_S2POR_EL1,           HFGxTR, nS2POR_EL1, 0),
-       SR_FGT(SYS_POR_EL1,             HFGxTR, nPOR_EL1, 0),
-       SR_FGT(SYS_POR_EL0,             HFGxTR, nPOR_EL0, 0),
-       SR_FGT(SYS_PIR_EL1,             HFGxTR, nPIR_EL1, 0),
-       SR_FGT(SYS_PIRE0_EL1,           HFGxTR, nPIRE0_EL1, 0),
-       SR_FGT(SYS_RCWMASK_EL1,         HFGxTR, nRCWMASK_EL1, 0),
-       SR_FGT(SYS_TPIDR2_EL0,          HFGxTR, nTPIDR2_EL0, 0),
-       SR_FGT(SYS_SMPRI_EL1,           HFGxTR, nSMPRI_EL1, 0),
-       SR_FGT(SYS_GCSCR_EL1,           HFGxTR, nGCS_EL1, 0),
-       SR_FGT(SYS_GCSPR_EL1,           HFGxTR, nGCS_EL1, 0),
-       SR_FGT(SYS_GCSCRE0_EL1,         HFGxTR, nGCS_EL0, 0),
-       SR_FGT(SYS_GCSPR_EL0,           HFGxTR, nGCS_EL0, 0),
-       SR_FGT(SYS_ACCDATA_EL1,         HFGxTR, nACCDATA_EL1, 0),
-       SR_FGT(SYS_ERXADDR_EL1,         HFGxTR, ERXADDR_EL1, 1),
-       SR_FGT(SYS_ERXPFGCDN_EL1,       HFGxTR, ERXPFGCDN_EL1, 1),
-       SR_FGT(SYS_ERXPFGCTL_EL1,       HFGxTR, ERXPFGCTL_EL1, 1),
-       SR_FGT(SYS_ERXPFGF_EL1,         HFGxTR, ERXPFGF_EL1, 1),
-       SR_FGT(SYS_ERXMISC0_EL1,        HFGxTR, ERXMISCn_EL1, 1),
-       SR_FGT(SYS_ERXMISC1_EL1,        HFGxTR, ERXMISCn_EL1, 1),
-       SR_FGT(SYS_ERXMISC2_EL1,        HFGxTR, ERXMISCn_EL1, 1),
-       SR_FGT(SYS_ERXMISC3_EL1,        HFGxTR, ERXMISCn_EL1, 1),
-       SR_FGT(SYS_ERXSTATUS_EL1,       HFGxTR, ERXSTATUS_EL1, 1),
-       SR_FGT(SYS_ERXCTLR_EL1,         HFGxTR, ERXCTLR_EL1, 1),
-       SR_FGT(SYS_ERXFR_EL1,           HFGxTR, ERXFR_EL1, 1),
-       SR_FGT(SYS_ERRSELR_EL1,         HFGxTR, ERRSELR_EL1, 1),
-       SR_FGT(SYS_ERRIDR_EL1,          HFGxTR, ERRIDR_EL1, 1),
-       SR_FGT(SYS_ICC_IGRPEN0_EL1,     HFGxTR, ICC_IGRPENn_EL1, 1),
-       SR_FGT(SYS_ICC_IGRPEN1_EL1,     HFGxTR, ICC_IGRPENn_EL1, 1),
-       SR_FGT(SYS_VBAR_EL1,            HFGxTR, VBAR_EL1, 1),
-       SR_FGT(SYS_TTBR1_EL1,           HFGxTR, TTBR1_EL1, 1),
-       SR_FGT(SYS_TTBR0_EL1,           HFGxTR, TTBR0_EL1, 1),
-       SR_FGT(SYS_TPIDR_EL0,           HFGxTR, TPIDR_EL0, 1),
-       SR_FGT(SYS_TPIDRRO_EL0,         HFGxTR, TPIDRRO_EL0, 1),
-       SR_FGT(SYS_TPIDR_EL1,           HFGxTR, TPIDR_EL1, 1),
-       SR_FGT(SYS_TCR_EL1,             HFGxTR, TCR_EL1, 1),
-       SR_FGT(SYS_TCR2_EL1,            HFGxTR, TCR_EL1, 1),
-       SR_FGT(SYS_SCXTNUM_EL0,         HFGxTR, SCXTNUM_EL0, 1),
-       SR_FGT(SYS_SCXTNUM_EL1,         HFGxTR, SCXTNUM_EL1, 1),
-       SR_FGT(SYS_SCTLR_EL1,           HFGxTR, SCTLR_EL1, 1),
-       SR_FGT(SYS_REVIDR_EL1,          HFGxTR, REVIDR_EL1, 1),
-       SR_FGT(SYS_PAR_EL1,             HFGxTR, PAR_EL1, 1),
-       SR_FGT(SYS_MPIDR_EL1,           HFGxTR, MPIDR_EL1, 1),
-       SR_FGT(SYS_MIDR_EL1,            HFGxTR, MIDR_EL1, 1),
-       SR_FGT(SYS_MAIR_EL1,            HFGxTR, MAIR_EL1, 1),
-       SR_FGT(SYS_LORSA_EL1,           HFGxTR, LORSA_EL1, 1),
-       SR_FGT(SYS_LORN_EL1,            HFGxTR, LORN_EL1, 1),
-       SR_FGT(SYS_LORID_EL1,           HFGxTR, LORID_EL1, 1),
-       SR_FGT(SYS_LOREA_EL1,           HFGxTR, LOREA_EL1, 1),
-       SR_FGT(SYS_LORC_EL1,            HFGxTR, LORC_EL1, 1),
-       SR_FGT(SYS_ISR_EL1,             HFGxTR, ISR_EL1, 1),
-       SR_FGT(SYS_FAR_EL1,             HFGxTR, FAR_EL1, 1),
-       SR_FGT(SYS_ESR_EL1,             HFGxTR, ESR_EL1, 1),
-       SR_FGT(SYS_DCZID_EL0,           HFGxTR, DCZID_EL0, 1),
-       SR_FGT(SYS_CTR_EL0,             HFGxTR, CTR_EL0, 1),
-       SR_FGT(SYS_CSSELR_EL1,          HFGxTR, CSSELR_EL1, 1),
-       SR_FGT(SYS_CPACR_EL1,           HFGxTR, CPACR_EL1, 1),
-       SR_FGT(SYS_CONTEXTIDR_EL1,      HFGxTR, CONTEXTIDR_EL1, 1),
-       SR_FGT(SYS_CLIDR_EL1,           HFGxTR, CLIDR_EL1, 1),
-       SR_FGT(SYS_CCSIDR_EL1,          HFGxTR, CCSIDR_EL1, 1),
-       SR_FGT(SYS_APIBKEYLO_EL1,       HFGxTR, APIBKey, 1),
-       SR_FGT(SYS_APIBKEYHI_EL1,       HFGxTR, APIBKey, 1),
-       SR_FGT(SYS_APIAKEYLO_EL1,       HFGxTR, APIAKey, 1),
-       SR_FGT(SYS_APIAKEYHI_EL1,       HFGxTR, APIAKey, 1),
-       SR_FGT(SYS_APGAKEYLO_EL1,       HFGxTR, APGAKey, 1),
-       SR_FGT(SYS_APGAKEYHI_EL1,       HFGxTR, APGAKey, 1),
-       SR_FGT(SYS_APDBKEYLO_EL1,       HFGxTR, APDBKey, 1),
-       SR_FGT(SYS_APDBKEYHI_EL1,       HFGxTR, APDBKey, 1),
-       SR_FGT(SYS_APDAKEYLO_EL1,       HFGxTR, APDAKey, 1),
-       SR_FGT(SYS_APDAKEYHI_EL1,       HFGxTR, APDAKey, 1),
-       SR_FGT(SYS_AMAIR_EL1,           HFGxTR, AMAIR_EL1, 1),
-       SR_FGT(SYS_AIDR_EL1,            HFGxTR, AIDR_EL1, 1),
-       SR_FGT(SYS_AFSR1_EL1,           HFGxTR, AFSR1_EL1, 1),
-       SR_FGT(SYS_AFSR0_EL1,           HFGxTR, AFSR0_EL1, 1),
+       SR_FGT(SYS_AMAIR2_EL1,          HFGRTR, nAMAIR2_EL1, 0),
+       SR_FGT(SYS_MAIR2_EL1,           HFGRTR, nMAIR2_EL1, 0),
+       SR_FGT(SYS_S2POR_EL1,           HFGRTR, nS2POR_EL1, 0),
+       SR_FGT(SYS_POR_EL1,             HFGRTR, nPOR_EL1, 0),
+       SR_FGT(SYS_POR_EL0,             HFGRTR, nPOR_EL0, 0),
+       SR_FGT(SYS_PIR_EL1,             HFGRTR, nPIR_EL1, 0),
+       SR_FGT(SYS_PIRE0_EL1,           HFGRTR, nPIRE0_EL1, 0),
+       SR_FGT(SYS_RCWMASK_EL1,         HFGRTR, nRCWMASK_EL1, 0),
+       SR_FGT(SYS_TPIDR2_EL0,          HFGRTR, nTPIDR2_EL0, 0),
+       SR_FGT(SYS_SMPRI_EL1,           HFGRTR, nSMPRI_EL1, 0),
+       SR_FGT(SYS_GCSCR_EL1,           HFGRTR, nGCS_EL1, 0),
+       SR_FGT(SYS_GCSPR_EL1,           HFGRTR, nGCS_EL1, 0),
+       SR_FGT(SYS_GCSCRE0_EL1,         HFGRTR, nGCS_EL0, 0),
+       SR_FGT(SYS_GCSPR_EL0,           HFGRTR, nGCS_EL0, 0),
+       SR_FGT(SYS_ACCDATA_EL1,         HFGRTR, nACCDATA_EL1, 0),
+       SR_FGT(SYS_ERXADDR_EL1,         HFGRTR, ERXADDR_EL1, 1),
+       SR_FGT(SYS_ERXPFGCDN_EL1,       HFGRTR, ERXPFGCDN_EL1, 1),
+       SR_FGT(SYS_ERXPFGCTL_EL1,       HFGRTR, ERXPFGCTL_EL1, 1),
+       SR_FGT(SYS_ERXPFGF_EL1,         HFGRTR, ERXPFGF_EL1, 1),
+       SR_FGT(SYS_ERXMISC0_EL1,        HFGRTR, ERXMISCn_EL1, 1),
+       SR_FGT(SYS_ERXMISC1_EL1,        HFGRTR, ERXMISCn_EL1, 1),
+       SR_FGT(SYS_ERXMISC2_EL1,        HFGRTR, ERXMISCn_EL1, 1),
+       SR_FGT(SYS_ERXMISC3_EL1,        HFGRTR, ERXMISCn_EL1, 1),
+       SR_FGT(SYS_ERXSTATUS_EL1,       HFGRTR, ERXSTATUS_EL1, 1),
+       SR_FGT(SYS_ERXCTLR_EL1,         HFGRTR, ERXCTLR_EL1, 1),
+       SR_FGT(SYS_ERXFR_EL1,           HFGRTR, ERXFR_EL1, 1),
+       SR_FGT(SYS_ERRSELR_EL1,         HFGRTR, ERRSELR_EL1, 1),
+       SR_FGT(SYS_ERRIDR_EL1,          HFGRTR, ERRIDR_EL1, 1),
+       SR_FGT(SYS_ICC_IGRPEN0_EL1,     HFGRTR, ICC_IGRPENn_EL1, 1),
+       SR_FGT(SYS_ICC_IGRPEN1_EL1,     HFGRTR, ICC_IGRPENn_EL1, 1),
+       SR_FGT(SYS_VBAR_EL1,            HFGRTR, VBAR_EL1, 1),
+       SR_FGT(SYS_TTBR1_EL1,           HFGRTR, TTBR1_EL1, 1),
+       SR_FGT(SYS_TTBR0_EL1,           HFGRTR, TTBR0_EL1, 1),
+       SR_FGT(SYS_TPIDR_EL0,           HFGRTR, TPIDR_EL0, 1),
+       SR_FGT(SYS_TPIDRRO_EL0,         HFGRTR, TPIDRRO_EL0, 1),
+       SR_FGT(SYS_TPIDR_EL1,           HFGRTR, TPIDR_EL1, 1),
+       SR_FGT(SYS_TCR_EL1,             HFGRTR, TCR_EL1, 1),
+       SR_FGT(SYS_TCR2_EL1,            HFGRTR, TCR_EL1, 1),
+       SR_FGT(SYS_SCXTNUM_EL0,         HFGRTR, SCXTNUM_EL0, 1),
+       SR_FGT(SYS_SCXTNUM_EL1,         HFGRTR, SCXTNUM_EL1, 1),
+       SR_FGT(SYS_SCTLR_EL1,           HFGRTR, SCTLR_EL1, 1),
+       SR_FGT(SYS_REVIDR_EL1,          HFGRTR, REVIDR_EL1, 1),
+       SR_FGT(SYS_PAR_EL1,             HFGRTR, PAR_EL1, 1),
+       SR_FGT(SYS_MPIDR_EL1,           HFGRTR, MPIDR_EL1, 1),
+       SR_FGT(SYS_MIDR_EL1,            HFGRTR, MIDR_EL1, 1),
+       SR_FGT(SYS_MAIR_EL1,            HFGRTR, MAIR_EL1, 1),
+       SR_FGT(SYS_LORSA_EL1,           HFGRTR, LORSA_EL1, 1),
+       SR_FGT(SYS_LORN_EL1,            HFGRTR, LORN_EL1, 1),
+       SR_FGT(SYS_LORID_EL1,           HFGRTR, LORID_EL1, 1),
+       SR_FGT(SYS_LOREA_EL1,           HFGRTR, LOREA_EL1, 1),
+       SR_FGT(SYS_LORC_EL1,            HFGRTR, LORC_EL1, 1),
+       SR_FGT(SYS_ISR_EL1,             HFGRTR, ISR_EL1, 1),
+       SR_FGT(SYS_FAR_EL1,             HFGRTR, FAR_EL1, 1),
+       SR_FGT(SYS_ESR_EL1,             HFGRTR, ESR_EL1, 1),
+       SR_FGT(SYS_DCZID_EL0,           HFGRTR, DCZID_EL0, 1),
+       SR_FGT(SYS_CTR_EL0,             HFGRTR, CTR_EL0, 1),
+       SR_FGT(SYS_CSSELR_EL1,          HFGRTR, CSSELR_EL1, 1),
+       SR_FGT(SYS_CPACR_EL1,           HFGRTR, CPACR_EL1, 1),
+       SR_FGT(SYS_CONTEXTIDR_EL1,      HFGRTR, CONTEXTIDR_EL1, 1),
+       SR_FGT(SYS_CLIDR_EL1,           HFGRTR, CLIDR_EL1, 1),
+       SR_FGT(SYS_CCSIDR_EL1,          HFGRTR, CCSIDR_EL1, 1),
+       SR_FGT(SYS_APIBKEYLO_EL1,       HFGRTR, APIBKey, 1),
+       SR_FGT(SYS_APIBKEYHI_EL1,       HFGRTR, APIBKey, 1),
+       SR_FGT(SYS_APIAKEYLO_EL1,       HFGRTR, APIAKey, 1),
+       SR_FGT(SYS_APIAKEYHI_EL1,       HFGRTR, APIAKey, 1),
+       SR_FGT(SYS_APGAKEYLO_EL1,       HFGRTR, APGAKey, 1),
+       SR_FGT(SYS_APGAKEYHI_EL1,       HFGRTR, APGAKey, 1),
+       SR_FGT(SYS_APDBKEYLO_EL1,       HFGRTR, APDBKey, 1),
+       SR_FGT(SYS_APDBKEYHI_EL1,       HFGRTR, APDBKey, 1),
+       SR_FGT(SYS_APDAKEYLO_EL1,       HFGRTR, APDAKey, 1),
+       SR_FGT(SYS_APDAKEYHI_EL1,       HFGRTR, APDAKey, 1),
+       SR_FGT(SYS_AMAIR_EL1,           HFGRTR, AMAIR_EL1, 1),
+       SR_FGT(SYS_AIDR_EL1,            HFGRTR, AIDR_EL1, 1),
+       SR_FGT(SYS_AFSR1_EL1,           HFGRTR, AFSR1_EL1, 1),
+       SR_FGT(SYS_AFSR0_EL1,           HFGRTR, AFSR0_EL1, 1),
        /* HFGITR_EL2 */
        SR_FGT(OP_AT_S1E1A,             HFGITR, ATS1E1A, 1),
        SR_FGT(OP_COSP_RCTX,            HFGITR, COSPRCTX, 1),
                return false;
 
        switch ((enum fgt_group_id)tc.fgt) {
-       case HFGxTR_GROUP:
+       case HFGRTR_GROUP:
                sr = is_read ? HFGRTR_EL2 : HFGWTR_EL2;
                break;
 
        case __NO_FGT_GROUP__:
                break;
 
-       case HFGxTR_GROUP:
+       case HFGRTR_GROUP:
                if (is_read)
                        val = __vcpu_sys_reg(vcpu, HFGRTR_EL2);
                else