| [^:]+: Assembler messages: |
| ^[^:]+:[0-9]+: Error: selected processor does not support `esb' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erridr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'errselr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'errselr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxfr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxctlr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxctlr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxstatus_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxstatus_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxaddr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxaddr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc0_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc0_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc1_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc1_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'vsesr_el2' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'disr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'disr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'vdisr_el2' |
| ^[^:]+:[0-9]+: Error: selected processor does not support `esb' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erridr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'errselr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'errselr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxfr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxctlr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxctlr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxstatus_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxstatus_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxaddr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxaddr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc0_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc0_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc1_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'erxmisc1_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'vsesr_el2' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'disr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'disr_el1' |
| ^[^:]+:[0-9]+: Error: selected processor does not support system register name 'vdisr_el2' |