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),