smb1113: detached
smb1136: detached
smb10: detached
smb1050: detached
smb1114: detached
smb1137: detached
smbus0: detached
[df5642] VETO: device_detach(smbus0)=0 <<< BUS DETACHED UNDER ITS OWNER (must be EBUSY=16)
[df5642] VETO: post-detach softc=0 (NULL = freed under the owner)
[df5642] RELFREE: calling smbus_release_bus(smbus0, fakesmbb0) with softc=0 ...
Fatal user address access from kernel mode from df5642ctl at ffffffff805d8278


Fatal trap 12: page fault while in kernel mode
cpuid = 3; lapic id = 3
fault virtual address	= 0x0
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff805d8278
stack pointer	        = 0x10:0xfffff8011819b6d8
frame pointer	        = 0x10:0xfffff8011819b6f8
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		= 1551
current thread          = pri 6 (CRIT)
kernel: type 12 trap, code=0

CPU3 stopping CPUs: 0x00000037
 stopped
Stopped at      smbus_release_bus+0x78: cmpq    %r13,(%r12)
db>