# DF-5302 baseline run (unpatched guest source), guest root:
#   # kldload /root/df5302/df5302.ko
#   # sysctl kern.df5302_fire=1
# (ssh session dies at the panic; output captured on the serial console, vm.sh log)
DF5302: harness loaded (production fwohci.c compiled in); kern.df5302_mode=1 kern.df5302_fire=1 to trigger
DF5302: sizeof(fwohci_softc)=35400 sizeof(fwohcidb_tr)=56 offsetof(fwohcidb_tr,link)=0
DF5302: calling production fwohci_irx_enable() with bnpacket*bnchunk = 0*8 = 0 -- expect NULL write panic at fwohci.c:1253
Fatal user address access from kernel mode from sysctl at ffffffff82607289


Fatal trap 12: page fault while in kernel mode
cpuid = 2; lapic id = 2
fault virtual address	= 0x0
fault code		= supervisor write data, page not present
instruction pointer	= 0x8:0xffffffff82607289
stack pointer	        = 0x10:0xfffff801183736d8
frame pointer	        = 0x10:0xfffff801183736f8
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		= 1508
current thread          = pri 6 
kernel: type 12 trap, code=2

CPU2 stopping CPUs: 0x0000003b
 stopped
Stopped at      fwohci_db_init.cold.11: movq    $0,0
db>