smb1042: detached
smb1106: detached
smb1129: detached
smb3: detached
smb1043: detached
smb1107: detached
smb1130: detached
smb4: detached
smb1044: detached
smb1108: detached
smb1131: detached
smb5: detached
smb1045: detached
smb1109: detached
smb1132: detached
smb6: detached
smb1046: detached
smb1110: detached
smb1133: detached
smb7: detached
smb1047: detached
smb1111: detached
smb1134: detached
smb8: detached
smb1048: detached
smb1112: detached
smb1135: detached
smb9: detached
smb1049: detached
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>