PURE_EL2_SYSREG(  RVBAR_EL2     );
                PURE_EL2_SYSREG(  TPIDR_EL2     );
                PURE_EL2_SYSREG(  HPFAR_EL2     );
+               PURE_EL2_SYSREG(  HCRX_EL2      );
+               PURE_EL2_SYSREG(  HFGRTR_EL2    );
+               PURE_EL2_SYSREG(  HFGWTR_EL2    );
+               PURE_EL2_SYSREG(  HFGITR_EL2    );
+               PURE_EL2_SYSREG(  HDFGRTR_EL2   );
+               PURE_EL2_SYSREG(  HDFGWTR_EL2   );
+               PURE_EL2_SYSREG(  HAFGRTR_EL2   );
+               PURE_EL2_SYSREG(  CNTVOFF_EL2   );
                PURE_EL2_SYSREG(  CNTHCTL_EL2   );
                MAPPED_EL2_SYSREG(SCTLR_EL2,   SCTLR_EL1,
                                  translate_sctlr_el2_to_sctlr_el1           );
                MAPPED_EL2_SYSREG(ELR_EL2,     ELR_EL1,     NULL             );
                MAPPED_EL2_SYSREG(SPSR_EL2,    SPSR_EL1,    NULL             );
                MAPPED_EL2_SYSREG(ZCR_EL2,     ZCR_EL1,     NULL             );
+               MAPPED_EL2_SYSREG(CONTEXTIDR_EL2, CONTEXTIDR_EL1, NULL       );
        default:
                return false;
        }