login: DFX2423: phase3: CCB pool EXHAUSTED, calling REAL ahci_pm_write (ahci_pm.c:1013) - 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 ffffffff80a8018c


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:0xffffffff80a8018c
stack pointer	        = 0x10:0xfffff8011853f748
frame pointer	        = 0x10:0xfffff8011853f768
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		= 845
current thread          = pri 6 
trap number		= 12
panic: page fault
cpuid = 1
Trace beginning at frame 0xfffff8011853f538
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 = ffffffff80a8018c, rsp = fffff8011853f730, rbp = fffff8011853f768 ---
dfx_pm_write() at dfx_pm_write+0x2c 0xffffffff80a8018c 
dfx2423_sysctl() at dfx2423_sysctl+0xa3 0xffffffff80a816d3 
boot() called on cpu#1
Uptime: 35s
Physical memory: 4060 MB
Dumping 671 MB: 656 640 624 608 592 576 560 544 528 512 496 480 464 448 432 416 400 384 368 352 336 320 304 288 272 256 240 224 208 192 176 160 144 128 112 96 80 64 48 32 16
Dump complete