DFX2423: phase2: CCB pool EXHAUSTED, calling REAL ahci_pm_read (ahci_pm.c:976) - expect NULL deref of xa->fis at offset 0
DFX2423: get_xfer: CCB pool EXHAUSTED -> NULL (models ahci.c:3675-3678)
Fatal user address access from kernel mode from sysctl at ffffffff80a800cb


Fatal trap 12: page fault while in kernel mode
cpuid = 1; lapic id = 1
fault virtual address	= 0x0
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff80a800cb
stack pointer	        = 0x10:0xfffff801183c7748
frame pointer	        = 0x10:0xfffff801183c7768
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		= 838
current thread          = pri 6 
trap number		= 12
panic: page fault
cpuid = 1
Trace beginning at frame 0xfffff801183c7538
trap_fatal() at trap_fatal+0x301 0xffffffff80bd6c61 
trap_fatal() at trap_fatal+0x301 0xffffffff80bd6c61 
trap_pfault() at trap_pfault+0x431 0xffffffff80bd7241 
trap() at trap+0x17c 0xffffffff80bd77ac 
calltrap() at calltrap+0x9 0xffffffff80b9adda 
--- trap 000000000000000c, rip = ffffffff80a800cb, rsp = fffff801183c7730, rbp = fffff801183c7768 ---
dfx_pm_read() at dfx_pm_read+0x2b 0xffffffff80a800cb 
dfx2423_sysctl() at dfx2423_sysctl+0x1e2 0xffffffff80a81812 
boot() called on cpu#1
Uptime: 1m32s
Physical memory: 4060 MB
Dumping 549 MB: 534 518 502 486 470 454 438 422 406 390 374 358 342 326 310 294 278 262 246 230 214 198 182 166 150 134 118 102 86 70 54 38 22 6
Dump complete