1 #source
: attr
-gnu
-4-4.s
-mips32r2
-W
5 [^
:]*: file format elf32
-.*
8 0x70000003 off
0x0000.... vaddr
0x004000.. paddr
0x004000.. align 2\
*\
*3
9 filesz
0x00000018 memsz
0x00000018 flags r
--
11 private flags
= 70001200: \
[abi
=O32\
] \
[mips32r2\
] \
[old fp64\
] \
[not 32bitmode\
]
13 MIPS ABI Flags Version
: 0
19 FP ABI
: Hard
float \
(MIPS32r2
64-bit FPU
12 callee
-saved\
)