[l2uh] l2uh_harness loaded: hw.l2uh_setup, hw.l2uh_once, hw.l2uh_race, hw.l2uh_race3, hw.l2uh_state
[l2uh] rtx kthread pinned to cpu1 (tid 0xfffff800905fc780)
[l2uh] === DF-5749 race3: 2000 simultaneous l2cap_rtx() vs l2cap_detach() rounds ===


Fatal trap 12: page fault while in kernel mode
cpuid = 1; lapic id = 1
fault virtual address	= 0x70
fault code		= supervisor write data, page not present
instruction pointer	= 0x8:0xffffffff82609810
stack pointer	        = 0x10:0xfffff801181ffa50
frame pointer	        = 0x10:0xfffff801181ffa70
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=2

CPU1 stopping CPUs: 0x0000003d
 stopped
Stopped at      l2cap_request_free+0x70:        movq    %rdx,0x70(%r13)
db>