#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_AA64MMFR1_EL1 sys_reg(3, 0, 0, 7, 1)
#define SYS_ID_AA64MMFR2_EL1 sys_reg(3, 0, 0, 7, 2)
#define SYS_ACTLR_EL1 sys_reg(3, 0, 1, 0, 1)
#define ID_AA64MMFR0_EL1_PARANGE_MAX ID_AA64MMFR0_EL1_PARANGE_48
#endif
-/* id_aa64mmfr1 */
-#define ID_AA64MMFR1_EL1_ECBHB_SHIFT 60
-#define ID_AA64MMFR1_EL1_TIDCP1_SHIFT 52
-#define ID_AA64MMFR1_EL1_HCX_SHIFT 40
-#define ID_AA64MMFR1_EL1_AFP_SHIFT 44
-#define ID_AA64MMFR1_EL1_ETS_SHIFT 36
-#define ID_AA64MMFR1_EL1_TWED_SHIFT 32
-#define ID_AA64MMFR1_EL1_XNX_SHIFT 28
-#define ID_AA64MMFR1_EL1_SpecSEI_SHIFT 24
-#define ID_AA64MMFR1_EL1_PAN_SHIFT 20
-#define ID_AA64MMFR1_EL1_LO_SHIFT 16
-#define ID_AA64MMFR1_EL1_HPDS_SHIFT 12
-#define ID_AA64MMFR1_EL1_VH_SHIFT 8
-#define ID_AA64MMFR1_EL1_VMIDBits_SHIFT 4
-#define ID_AA64MMFR1_EL1_HAFDBS_SHIFT 0
-
-#define ID_AA64MMFR1_EL1_VMIDBits_8 0
-#define ID_AA64MMFR1_EL1_VMIDBits_16 2
-
-#define ID_AA64MMFR1_EL1_TIDCP1_NI 0
-#define ID_AA64MMFR1_EL1_TIDCP1_IMP 1
-
/* id_aa64mmfr2 */
#define ID_AA64MMFR2_EL1_E0PD_SHIFT 60
#define ID_AA64MMFR2_EL1_EVT_SHIFT 56