[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