| #name: TRBE System registers |
| #objdump: -dr |
| |
| .*: file format .* |
| |
| Disassembly of section \.text: |
| |
| 0+ <.*>: |
| .*: d5389b40 mrs x0, trbbaser_el1 |
| .*: d5389be0 mrs x0, trbidr_el1 |
| .*: d5389b00 mrs x0, trblimitr_el1 |
| .*: d5389b80 mrs x0, trbmar_el1 |
| .*: d5389b20 mrs x0, trbptr_el1 |
| .*: d5389b60 mrs x0, trbsr_el1 |
| .*: d5389bc0 mrs x0, trbtrg_el1 |
| .*: d5189b40 msr trbbaser_el1, x0 |
| .*: d5189b00 msr trblimitr_el1, x0 |
| .*: d5189b80 msr trbmar_el1, x0 |
| .*: d5189b20 msr trbptr_el1, x0 |
| .*: d5189b60 msr trbsr_el1, x0 |
| .*: d5189bc0 msr trbtrg_el1, x0 |
