usb4bsd/controller: Use device_delete_children().
commitf3e393c68cec16bbdfa12e9586a0f72c659bb08d
authorSascha Wildner <saw@online.de>
Sun, 14 Oct 2012 13:12:08 +0000 (14 15:12 +0200)
committerSascha Wildner <saw@online.de>
Sun, 21 Oct 2012 12:59:28 +0000 (21 14:59 +0200)
tree2640c55debe229b080b86d411e06b2ff839e5c1d
parentb9955230b37500c0965ca84077e2304ddce46f05
usb4bsd/controller: Use device_delete_children().
sys/bus/u4b/controller/ehci_pci.c
sys/bus/u4b/controller/ohci_pci.c
sys/bus/u4b/controller/uhci_pci.c
sys/bus/u4b/controller/xhci_pci.c