0+ <.*>:
 
-   0:  d53e60a0        mrs     x0, mfar_el3
-   4:  d53e21c0        mrs     x0, gpccr_el3
-   8:  d53e2180        mrs     x0, gptbr_el3
-   c:  d51e21c0        msr     gpccr_el3, x0
-  10:  d51e2180        msr     gptbr_el3, x0
-  14:  d50e7e20        dc      cipapa, x0
-  18:  d50e7ea0        dc      cigdpapa, x0
-  1c:  d50e8460        tlbi    rpaos, x0
-  20:  d50e84e0        tlbi    rpalos, x0
-  24:  d50e819f        tlbi    paallos
-  28:  d50e879f        tlbi    paall
+[^:]*: d53e60a0        mrs     x0, mfar_el3
+[^:]*: d53e21c0        mrs     x0, gpccr_el3
+[^:]*: d53e2180        mrs     x0, gptbr_el3
+[^:]*: d51e60a0        msr     mfar_el3, x0
+[^:]*: d51e21c0        msr     gpccr_el3, x0
+[^:]*: d51e2180        msr     gptbr_el3, x0
+[^:]*: d50e7e20        dc      cipapa, x0
+[^:]*: d50e7ea0        dc      cigdpapa, x0
+[^:]*: d50e8460        tlbi    rpaos, x0
+[^:]*: d50e84e0        tlbi    rpalos, x0
+[^:]*: d50e819f        tlbi    paallos
+[^:]*: d50e879f        tlbi    paall
 
 
   SR_CORE ("accdata_el1",   CPENC (3,0,C13,C0,5), 0),
 
-  SR_CORE ("mfar_el3",      CPENC (3,6,C6,C0,5), F_REG_READ),
+  SR_CORE ("mfar_el3",      CPENC (3,6,C6,C0,5), 0),
   SR_CORE ("gpccr_el3",     CPENC (3,6,C2,C1,6), 0),
   SR_CORE ("gptbr_el3",     CPENC (3,6,C2,C1,4), 0),