Fatal trap 12: page fault while in kernel mode
cpuid = 2; lapic id = 2
fault virtual address	= 0x18
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff80616c9f
stack pointer	        = 0x10:0xfffff80118439a08
frame pointer	        = 0x10:0xfffff80118439a20
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

CPU2 stopping CPUs: 0x0000003b
 stopped
Stopped at      kdmsg_state_tree_RB_REMOVE_COLOR+0x6f:  cmpl    $0x1,0x18(%rax)
db>