del_timer(&uhci->stall_timer); 
static void hc_died(struct uhci_hcd *uhci){	reset_hc(uhci);	uhci->hc_inaccessible = 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6c1b445c226dd82d0961725dec8051b95003723a/uhci-hcd.c/buggy/drivers/usb/host/uhci-hcd.c