struct isp116x *isp116x = hcd_to_isp116x(hcd); 
struct isp116x *isp116x; 
static int __init_or_module isp116x_remove(struct device *dev){	struct usb_hcd *hcd = dev_get_drvdata(dev);	struct isp116x *isp116x = hcd_to_isp116x(hcd);	struct platform_device *pdev;	struct resource *res;	pdev = container_of(dev, struct platform_device, dev);	remove_debug_file(isp116x);	usb_remove_hcd(hcd);	iounmap(isp116x->data_reg);	res = platform_get_resource(pdev, IORESOURCE_MEM, 1);	release_mem_region(res->start, 2);	iounmap(isp116x->addr_reg);	res = platform_get_resource(pdev, IORESOURCE_MEM, 0);	release_mem_region(res->start, 2);	usb_put_hcd(hcd);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/589a0083a3c9e9610e54984998a46c07a2584b55/isp116x-hcd.c/buggy/drivers/usb/host/isp116x-hcd.c