usbip_vhci_detach_device   63 tools/usb/usbip/libsrc/vhci_driver.h int usbip_vhci_detach_device(uint8_t port);
usbip_vhci_detach_device   82 tools/usb/usbip/src/usbip_detach.c 	ret = usbip_vhci_detach_device(portnum);