| [^:]*: Assembler messages: |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'rctx' |
| [^:]*:[0-9]+: Error: selected processor does not support `cfp rctx,x1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'rctx' |
| [^:]*:[0-9]+: Error: selected processor does not support `dvp rctx,x2' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'rctx' |
| [^:]*:[0-9]+: Error: selected processor does not support `cpp rctx,x3' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cvadp' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'rndr' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'rndrrs' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el0' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el2' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el3' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el12' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'id_pfr2_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsre0_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el2' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el3' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el12' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'rgsr_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'gcr_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'gmid_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support PSTATE field name 'tco' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco' |
| [^:]*:[0-9]+: Error: selected processor does not support PSTATE field name 'tco' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsre0_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el2' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el3' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el12' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'rgsr_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'gcr_el1' |
| [^:]*:[0-9]+: Error: selected processor does not support PSTATE field name 'tco' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'igvac' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'igsw' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgsw' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cigsw' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgvac' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgvap' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgvadp' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cigvac' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'gva' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'igdvac' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'igdsw' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgdsw' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cigdsw' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgdvac' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgdvap' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cgdvadp' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'cigdvac' |
| [^:]*:[0-9]+: Error: selected processor does not support system register name 'gzva' |