xhci_free_device_ext
static void xhci_free_device_ext(struct usb_device *);
xhci_free_device_ext(udev);