#define SYS_ID_AA64AFR0_EL1 sys_reg(3, 0, 0, 5, 4)
#define SYS_ID_AA64AFR1_EL1 sys_reg(3, 0, 0, 5, 5)
-#define SYS_ID_AA64MMFR2_EL1 sys_reg(3, 0, 0, 7, 2)
-
#define SYS_ACTLR_EL1 sys_reg(3, 0, 1, 0, 1)
#define SYS_RGSR_EL1 sys_reg(3, 0, 1, 0, 5)
#define SYS_GCR_EL1 sys_reg(3, 0, 1, 0, 6)
#define ID_AA64MMFR0_EL1_PARANGE_MAX ID_AA64MMFR0_EL1_PARANGE_48
#endif
-/* id_aa64mmfr2 */
-#define ID_AA64MMFR2_EL1_E0PD_SHIFT 60
-#define ID_AA64MMFR2_EL1_EVT_SHIFT 56
-#define ID_AA64MMFR2_EL1_BBM_SHIFT 52
-#define ID_AA64MMFR2_EL1_TTL_SHIFT 48
-#define ID_AA64MMFR2_EL1_FWB_SHIFT 40
-#define ID_AA64MMFR2_EL1_IDS_SHIFT 36
-#define ID_AA64MMFR2_EL1_AT_SHIFT 32
-#define ID_AA64MMFR2_EL1_ST_SHIFT 28
-#define ID_AA64MMFR2_EL1_NV_SHIFT 24
-#define ID_AA64MMFR2_EL1_CCIDX_SHIFT 20
-#define ID_AA64MMFR2_EL1_VARange_SHIFT 16
-#define ID_AA64MMFR2_EL1_IESB_SHIFT 12
-#define ID_AA64MMFR2_EL1_LSM_SHIFT 8
-#define ID_AA64MMFR2_EL1_UAO_SHIFT 4
-#define ID_AA64MMFR2_EL1_CnP_SHIFT 0
-
/* id_aa64dfr0 */
#define ID_AA64DFR0_MTPMU_SHIFT 48
#define ID_AA64DFR0_TRBE_SHIFT 44