ID_UNALLOCATED(6,7),
 
        /* CRm=7 */
-       ID_SANITISED(ID_AA64MMFR0_EL1),
-       ID_SANITISED(ID_AA64MMFR1_EL1),
-       ID_SANITISED(ID_AA64MMFR2_EL1),
+       ID_WRITABLE(ID_AA64MMFR0_EL1, ~(ID_AA64MMFR0_EL1_RES0 |
+                                       ID_AA64MMFR0_EL1_TGRAN4_2 |
+                                       ID_AA64MMFR0_EL1_TGRAN64_2 |
+                                       ID_AA64MMFR0_EL1_TGRAN16_2)),
+       ID_WRITABLE(ID_AA64MMFR1_EL1, ~(ID_AA64MMFR1_EL1_RES0 |
+                                       ID_AA64MMFR1_EL1_HCX |
+                                       ID_AA64MMFR1_EL1_XNX |
+                                       ID_AA64MMFR1_EL1_TWED |
+                                       ID_AA64MMFR1_EL1_XNX |
+                                       ID_AA64MMFR1_EL1_VH |
+                                       ID_AA64MMFR1_EL1_VMIDBits)),
+       ID_WRITABLE(ID_AA64MMFR2_EL1, ~(ID_AA64MMFR2_EL1_RES0 |
+                                       ID_AA64MMFR2_EL1_EVT |
+                                       ID_AA64MMFR2_EL1_FWB |
+                                       ID_AA64MMFR2_EL1_IDS |
+                                       ID_AA64MMFR2_EL1_NV |
+                                       ID_AA64MMFR2_EL1_CCIDX)),
        ID_SANITISED(ID_AA64MMFR3_EL1),
        ID_UNALLOCATED(7,4),
        ID_UNALLOCATED(7,5),