src/sys/rump/dev/lib/libpci_usbhc