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