DF5675_DEPTH=128
DF5675_SURVIVED=128
DF5675_DEPTH=192
DOUBLE FAULT

Fatal double fault
rip = 0xffffffff80647b56
rsp = 0xfffff80117e6b000
rbp = 0xfffff80117e6b008
cpuid = 2; lapic id = 2
panic: double fault
cpuid = 2
Trace beginning at frame 0xfffff80089605ec8
dblfault_handler() at dblfault_handler+0x10c 0xffffffff80bd682c 
dblfault_handler() at dblfault_handler+0x10c 0xffffffff80bd682c 
Debugger("panic")

CPU2 stopping CPUs: 0x0000003b
 stopped
Stopped at      Debugger+0x7c:  movb    $0,0xbdaf09(%rip)
db>