kernel panic at kern/arch/x86/trap.c:309, from core 3: kProc-ful Page Fault in trhe Kernel at 0x00007f7fffad6bc0!oc-ful Page Fault in the Kernel
 HW TRAP frame at 00xfffffff0000cdcc0 on core 3
   rax  0x00007f7fffa01200
o  rbx  0x00000000000d4d40
n  rcx  0xffff core 3
fffad6bc0!kerne8l] 0safe! (tVoo crdx    0xfffffff00r0d0cx  ddf00xff
big?)
fffff0000cddf0
[  rbp  0 rbp  0xfffffff0000cdd88
fe! (too big?)
xfffffff0000cdd88
  rsi  0x00007f7fffad6bc0
  rdi  0xffff80000217fd00
  r8   0x0000000000000000
  r9   0x0000000000000000
  r10  0x000010000000a4c0
  r11  0x0000000000000206
  r12  0xffff80000217fd00
  r13  0xffff80000217fd00
  r14  0xfffffff0000cddf0
  r15  0x0000000000000000
  trap 0x0000000e Page Fault
  gsbs 0xffffffffc8668140
  fsbs 0x0000000000000000
  err  0x--------00000000
  rip  0xffffffffc2007019
  cs   0x------------0008
  flag 0x0000000000010286
  rsp  0xfffffff0000cdd88
  ss   0x------------0010
Backtrace of kernel context on Core 3:
#01 [<0xffffffffc2007019>] in post_ev_msg.isra.1 at src/event.c:82
#02 [<     [inline]     >] in post_vc_msg at src/event.c:106
#02 [<0xffffffffc2007896>] in post_vcore_event at src/event.c:489
#03 [<0xffffffffc20571c2>] in sys_self_notify at src/syscall.c:1506
#04 [<0xffffffffc20593c9>] in syscall at src/syscall.c:2528
#05 [<0xffffffffc2059584>] in run_local_syscall at src/syscall.c:2563
#06 [<0xffffffffc2059ab9>] in prep_syscalls at src/syscall.c:2583
#07 [<0xffffffffc20ab29a>] in sysenter_callwrapper at arch/x86/trap.c:851