--- /dev/null
+#objdump: -dr
+
+.*: file format .*
+
+Disassembly of section \.text:
+
+0+ <.*>:
+
+.*: d538a460 mrs x0, lorc_el1
+.*: d538a420 mrs x0, lorea_el1
+.*: d538a440 mrs x0, lorn_el1
+.*: d538a400 mrs x0, lorsa_el1
+.*: d53ecc80 mrs x0, icc_ctlr_el3
+.*: d538cca0 mrs x0, icc_sre_el1
+.*: d53cc9a0 mrs x0, icc_sre_el2
+.*: d53ecca0 mrs x0, icc_sre_el3
+.*: d53ccb20 mrs x0, ich_vtr_el2
+.*: d518a460 msr lorc_el1, x0
+.*: d518a420 msr lorea_el1, x0
+.*: d518a440 msr lorn_el1, x0
+.*: d518a400 msr lorsa_el1, x0
+.*: d51ecc80 msr icc_ctlr_el3, x0
+.*: d518cca0 msr icc_sre_el1, x0
+.*: d51cc9a0 msr icc_sre_el2, x0
+.*: d51ecca0 msr icc_sre_el3, x0
SR_CORE ("csrptr_el2", CPENC (2,4,C8,C0,1), 0),
SR_CORE ("csrptridx_el2", CPENC (2,4,C8,C0,3), F_REG_READ),
+ SR_CORE ("lorc_el1", CPENC (3,0,C10,C4,3), 0),
+ SR_CORE ("lorea_el1", CPENC (3,0,C10,C4,1), 0),
+ SR_CORE ("lorn_el1", CPENC (3,0,C10,C4,2), 0),
+ SR_CORE ("lorsa_el1", CPENC (3,0,C10,C4,0), 0),
+ SR_CORE ("icc_ctlr_el3", CPENC (3,6,C12,C12,4), 0),
+ SR_CORE ("icc_sre_el1", CPENC (3,0,C12,C12,5), 0),
+ SR_CORE ("icc_sre_el2", CPENC (3,4,C12,C9,5), 0),
+ SR_CORE ("icc_sre_el3", CPENC (3,6,C12,C12,5), 0),
+ SR_CORE ("ich_vtr_el2", CPENC (3,4,C12,C11,1), F_REG_READ),
+
SR_CORE ("brbcr_el1", CPENC (2,1,C9,C0,0), 0),
SR_CORE ("brbcr_el12", CPENC (2,5,C9,C0,0), 0),
SR_CORE ("brbfcr_el1", CPENC (2,1,C9,C0,1), 0),