deb_info("killing URB no. %d.\n",i); 
deb_ts("killing URB no. %d.\n",i); 
int dvb_usb_urb_kill(struct dvb_usb_device *d){	int i;	for (i = 0; i < d->urbs_submitted; i++) {		deb_info("killing URB no. %d.\n",i);		/* stop the URB */		usb_kill_urb(d->urb_list[i]);	}	d->urbs_submitted = 0;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7f5fee57812c99c95edf6794a50413c75e99fd4d/dvb-usb-urb.c/buggy/drivers/media/dvb/dvb-usb/dvb-usb-urb.c