iounmap(sl811->data_reg); 
/* some platforms may use IORESOURCE_IO */ 
sl811h_remove(struct device *dev){	struct usb_hcd		*hcd = dev_get_drvdata(dev);	struct sl811		*sl811 = hcd_to_sl811(hcd);	struct platform_device	*pdev;	struct resource		*res;	pdev = container_of(dev, struct platform_device, dev);	remove_debug_file(sl811);	usb_remove_hcd(hcd);	iounmap(sl811->data_reg);	res = platform_get_resource(pdev, IORESOURCE_MEM, 1);	release_mem_region(res->start, 1);	iounmap(sl811->addr_reg);	res = platform_get_resource(pdev, IORESOURCE_MEM, 0);	release_mem_region(res->start, 1);	usb_put_hcd(hcd);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1e9a47b62f7daf5a94fdd74a94dd4e076f44909a/sl811-hcd.c/buggy/drivers/usb/host/sl811-hcd.c