MRT_INIT: 0
iter 0: sent, DEL_VIF rc=0; waiting for callout...


Fatal trap 12: page fault while in kernel mode
cpuid = 0; lapic id = 0
fault virtual address	= 0x8
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff807b371a
stack pointer	        = 0x10:0xfffff800896bf990
frame pointer	        = 0x10:0xfffff800896bf9b0
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 0, 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      tbf_update_tokens.isra.11+0x2a: subq    0x8(%rbx),%rax
db>