fhci_device_disconnected_interrupt
fhci_device_disconnected_interrupt(fhci);
void fhci_device_disconnected_interrupt(struct fhci_hcd *fhci);