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