| /* ETE System registers. */ | |
| /* Read from system register. */ | |
| mrs x0, trcextinselr0 | |
| mrs x0, trcextinselr1 | |
| mrs x0, trcextinselr2 | |
| mrs x0, trcextinselr3 | |
| mrs x0, trcrsr | |
| /* Write to system register. */ | |
| msr trcextinselr0, x0 | |
| msr trcextinselr1, x0 | |
| msr trcextinselr2, x0 | |
| msr trcextinselr3, x0 | |
| msr trcrsr, x0 |