| [device] |
| name=cpu_0 |
| class=core |
| type=ARM-AA64 |
| |
| [regs] |
| PC(size:64)=0xFFFFFFC000081000 |
| SP(size:64)=0 |
| SCTLR_EL1=0x1007 |
| CPSR=0x1C5 |
| |
| |
| [dump1] |
| file=bindir/code_14_0_exec |
| address=0x010003d4 |
| length=0x3b0 |
| |
| [dump2] |
| file=bindir/code_12_0_exec |
| address=0x010000b8 |
| length=0x1dc |
| |
| [dump3] |
| file=bindir/OTHERS_exec |
| address=0x00010000 |
| length=0x48110 |
| |
| [dump4] |
| file=bindir/code_57_0_exec |
| address=0x80000438 |
| length=0x1c |
| |
| [dump5] |
| file=bindir/code_58_0_exec |
| address=0x80100fe0 |
| length=0xc |
| |
| [dump6] |
| file=bindir/code_11_0_exec |
| address=0x010000a8 |
| length=0x4 |
| |
| [dump7] |
| file=bindir/code_13_0_exec |
| address=0x01000298 |
| length=0x13c |
| |
| [dump8] |
| file=bindir/code_9_0_exec |
| address=0x01000090 |
| length=0x10 |
| |
| [dump9] |
| file=bindir/VAL_NON_DET_CODE_exec |
| address=0x00090000 |
| length=0x1888c |
| |
| [dump10] |
| file=bindir/checkpoint_56_0_exec |
| address=0x70000008 |
| length=0x60 |
| |
| [dump11] |
| file=bindir/checkpoint_55_0_exec |
| address=0x70000000 |
| length=0x8 |
| |
| [dump12] |
| file=bindir/code_7_0_exec |
| address=0x01000000 |
| length=0x84 |
| |