USER_REG
USER_REG(ID_AA64AFR0_EL1, id_aa64afr0, true),
USER_REG(ID_AA64AFR1_EL1, id_aa64afr1, true),
USER_REG(ID_AA64DFR0_EL1, id_aa64dfr0, true),
USER_REG(ID_AA64DFR1_EL1, id_aa64dfr1, true),
USER_REG(ID_AA64ISAR0_EL1, id_aa64isar0, true),
USER_REG(ID_AA64ISAR1_EL1, id_aa64isar1, true),
USER_REG(ID_AA64ISAR2_EL1, id_aa64isar2, true),
USER_REG(ID_AA64MMFR0_EL1, id_aa64mmfr0, true),
USER_REG(ID_AA64MMFR1_EL1, id_aa64mmfr1, true),
USER_REG(ID_AA64MMFR2_EL1, id_aa64mmfr2, true),
USER_REG(ID_AA64MMFR3_EL1, id_aa64mmfr3, true),
USER_REG(ID_AA64MMFR4_EL1, id_aa64mmfr4, true),
USER_REG(ID_AA64PFR0_EL1, id_aa64pfr0, true),
USER_REG(ID_AA64PFR1_EL1, id_aa64pfr1, true),
USER_REG(ID_AA64PFR2_EL1, id_aa64pfr2, true),
USER_REG(ID_AA64ZFR0_EL1, id_aa64zfr0, true),
USER_REG(CTR_EL0, ctr, true),
USER_REG(ID_ISAR5_EL1, id_isar5, false),
USER_REG(MVFR0_EL1, mvfr0, false),
USER_REG(MVFR1_EL1, mvfr1, false),