df3369: unloaded
df3369: loaded (netmap_vale.c bdg_netmap_rxsync reserved-wrap livelock test)
df3369: mode 1: nslots=1024 lim=1023 cur=5 reserved=0xffffffff avail=1, nr_hwcur=0
df3369: check (resvd+avail >= lim+1): 0x00000000 >= 1024 ? FALSE (wrap defeats check)
df3369: [D] XXX invalid reserve/avail 4294967295 1
df3369: RESULT terminated after 5 iterations; nr_hwcur=5 avail=5
df3369: unloaded


Fatal trap 12: page fault while in kernel mode
cpuid = 0; lapic id = 0
fault virtual address	= 0x70
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff807b381e
stack pointer	        = 0x10:0xfffff8008d1f8950
frame pointer	        = 0x10:0xfffff8008d1f89e0
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= Idle
current thread          = pri 12 
kernel: type 12 trap, code=0

CPU0 stopping CPUs: 0x0000003e
 stopped
Stopped at      ip_output+0x5ee:        testb   $0x5,0x70(%rax)
db>