 kfree(us->sensebuf); 
static void dissociate_dev(struct us_data *us){	US_DEBUGP("-- %s\n", __FUNCTION__);	/* Free the device-related DMA-mapped buffers */	if (us->cr)		usb_buffer_free(us->pusb_dev, sizeof(*us->cr), us->cr,				us->cr_dma);	if (us->iobuf)		usb_buffer_free(us->pusb_dev, US_IOBUF_SIZE, us->iobuf,				us->iobuf_dma);	/* Remove our private data from the interface */	usb_set_intfdata(us->pusb_intf, NULL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bbafa4668f37f5093a3ae2a8b0cbe327e24e12da/usb.c/clean/drivers/usb/storage/usb.c