veto0: <DF-5545 detach-veto child> on xhci0
veto0: attached to xhci0; my detach will EBUSY while the xhci driver is bound to the parent
DF5545: xhci0 alive: ring VA=0xfffff8004f08a000 [3ae88080 00000001 000000d0 00000000] DCBAA VA=0xfffff8004f08b000 [3ae89480 00000001 00000000 00000000]
DF5545: calling device_detach(xhci0) [== what devclass_delete_driver does on kldunload / PCI hot-unplug]
uhub0: detached
ugen0.1: <0x1b36> at usbus0 (disconnected)
unknown: at usbus0, port 1, addr 1 (disconnected)
usbus0: detached
veto0: DETACH VETO: returning EBUSY -- watch xhci_pci_detach swallow this and tear down anyway
xhci0: detached
DF5545: device_detach(xhci0) returned 0 -- SUCCESS reported DESPITE live veto child (the lie)
DF5545: post: xhci0 driver=(none) state=0
DF5545: xhci0 STILL has 1 child device(s): veto0(attached=1)


Fatal trap 12: page fault while in kernel mode
cpuid = 3; lapic id = 3
fault virtual address	= 0x20
fault code		= supervisor read data, page not present
instruction pointer	= 0x8:0xffffffff826001c1
stack pointer	        = 0x10:0xfffff80116a38a70
frame pointer	        = 0x10:0xfffff80116a38ab0
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 1, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= Idle
current thread          = pri 12 
kernel: type 12 trap, code=0

CPU3 stopping CPUs: 0x00000037
 stopped
Stopped at      df5545_thread+0x91:     movq    0x20(%rax),%rdx
db>