== DF-0732 real-kernel panic (grow-race OOB write) ==
Source: object-level harness (harness_mod.ko) exercising REAL acl_getioctl via /dev/df0732,
driven by unprivileged trigger (trigger.c). adder+flusher kthreads race the LIST ioctl.

Fatal trap 12: page fault while in kernel mode
cpuid = 2; lapic id = 2
fault virtual address	= 0xfffff80118ac7000
fault code		= supervisor write data, page not present
instruction pointer	= 0x8:0xffffffff82600936
stack pointer	        = 0x10:0xfffff8011898f688
frame pointer	        = 0x10:0xfffff8011898f6c8
--
current process		= 1268
current thread          = pri 10 
kernel: type 12 trap, code=2
--
Stopped at      acl_getioctl+0xd6:      movw    %si,0x4(%rcx)
db>