Seeding random generator with value 0xaac97fef
Insn MMU 0KB: 1 ways, 64 sets, entry size 1 bytes
Data MMU 0KB: 1 ways, 64 sets, entry size 1 bytes
Ethernet TAP type
Verbose on, simdebug off, interactive prompt off
Machine initialization...
Clock cycle: 10ns
No data cache.
No instruction cache.
BPB simulation off.
BTIC simulation off.
Or1ksim 2011-04-28
Building automata... done, num uncovered: 0/213.
Parsing operands data... done.
UART at 0x90000000
Resetting Tick Timer.
Resetting Power Management.
Resetting PIC.
Starting at 0x00000000
loadcode: filename vmlinux  startaddr=00000000  virtphy_transl=00000000
Not COFF file format
ELF type: 0x0002
ELF machine: 0x005c
ELF version: 0x00000001
ELF sec = 28
Section: .text, vaddr: 0xc0000000, paddr: 0x0 offset: 0x00002000, size: 0x001ffb18
Section: .rodata, vaddr: 0xc0200000, paddr: 0x200000 offset: 0x00202000, size: 0x0001de88
Section: __ksymtab, vaddr: 0xc021de88, paddr: 0x21de88 offset: 0x0021fe88, size: 0x00003bf8
Section: __ksymtab_gpl, vaddr: 0xc0221a80, paddr: 0x221a80 offset: 0x00223a80, size: 0x00001b48
Section: __ksymtab_strings, vaddr: 0xc02235c8, paddr: 0x2235c8 offset: 0x002255c8, size: 0x0000ba81
Section: __param, vaddr: 0xc022f04c, paddr: 0x22f04c offset: 0x0023104c, size: 0x000001f0
Section: .data, vaddr: 0xc0230000, paddr: 0x230000 offset: 0x00232000, size: 0x0001b3e0
Section: __ex_table, vaddr: 0xc024b3e0, paddr: 0x24b3e0 offset: 0x0024d3e0, size: 0x000009f0
Section: .head.text, vaddr: 0xc024c000, paddr: 0x24c000 offset: 0x0024e000, size: 0x00004000
Section: .init.text, vaddr: 0xc0250000, paddr: 0x250000 offset: 0x00252000, size: 0x00011654
Section: .init.data, vaddr: 0xc0261660, paddr: 0x261660 offset: 0x00263660, size: 0x00598eac
****************** counters reset ******************
cycles 72659, insn #58328
****************** counters reset ******************
exit(34425)
@reset : cycles 72659, insn #58328
@exit  : cycles 2441413, insn #2021605
 diff  : cycles 2368754, insn #1963277