DF5624: cpu4 kstack=[0xfffff801185d6000,0xfffff801185da000) top=0xfffff801185da000 NEIGHBOR UNMAPPED
DF5624: tf_rbp=0xfffff801185d9ff8 == top-8: passes 'rbp > top-8' (equal is not greater), 8-aligned, >= bot -> hard_sniff loads *(rbp+8) at 0xfffff801185da000 = [top, top+8): OUT OF BOUNDS READ; UNMAPPED here means the buggy kernel takes a fatal trap 12 at mp_flame.c:138


Fatal trap 12: page fault while in kernel mode
cpuid = 4; lapic id = 4
fault virtual address	= 0xfffff801185da000
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff80c1e41e
stack pointer	        = 0x10:0xfffff801185d96f0
frame pointer	        = 0x10:0xfffff801185d97e8
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		= 1013
current thread          = pri 6 
kernel: type 12 trap, code=0

CPU4 stopping CPUs: 0x0000002f
 stopped
Stopped at      hard_sniff+0x9e:        movq    0x8(%rdx),%rax
db>