On 09/28/16 11:31, Jan Henrik Sylvester wrote:
On 09/28/2016 10:32, Hans Petter Selasky wrote:
Can you compile your kernel with debugging enabled so that we get the
sourcelines in the dump below. Also please include some parts of the

The kernel is from the yet-to-be-released 11.0-RELEASE installed by
freebsd-update. Now I have extracted kernel-dbg.txz, base-dbg.txz, and
lib32-dbg.txz from the 11.0-RELEAESE distribution, but the backtrace
still looks similar. Do have have to do anything else to use the debug
symbols or do I really have to compile a new kernel?


Can you try the attached patch. Does it make any difference?

device_delete_child() will delete devices starting at the leaves, while USB expects parents to be detached first.

jhb: Any comments?


Index: sys/dev/pci/pci_pci.c
--- sys/dev/pci/pci_pci.c	(revision 306255)
+++ sys/dev/pci/pci_pci.c	(working copy)
@@ -1217,7 +1217,8 @@
 	} else {
 		if (sc->child != NULL) {
-			if (device_delete_child(dev, sc->child) == 0)
+			if (device_detach(sc->child) == 0 &&
+			    device_delete_child(dev, sc->child) == 0)
 				sc->child = NULL;
freebsd-usb@freebsd.org mailing list
To unsubscribe, send any mail to "freebsd-usb-unsubscr...@freebsd.org"

Reply via email to