reset_hc(uhci); 
if (!uhci->hc_inaccessible) reset_hc(uhci); 
static void uhci_stop(struct usb_hcd *hcd){	struct uhci_hcd *uhci = hcd_to_uhci(hcd);	spin_lock_irq(&uhci->lock);	reset_hc(uhci);	uhci_scan_schedule(uhci, NULL);	spin_unlock_irq(&uhci->lock);	del_timer_sync(&uhci->stall_timer);	release_uhci(uhci);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1f09df8bfe358994fcb5f3dc4f890694c4069621/uhci-hcd.c/buggy/drivers/usb/host/uhci-hcd.c