iounmap((void *) cp->regs); 
iounmap(cp->regs); 
static void __devexit cas_remove_one(struct pci_dev *pdev){	struct net_device *dev = pci_get_drvdata(pdev);	struct cas *cp;	if (!dev)		return;	cp = netdev_priv(dev);	unregister_netdev(dev);	down(&cp->pm_sem);	flush_scheduled_work();	if (cp->hw_running)		cas_shutdown(cp);	up(&cp->pm_sem);#if 1	if (cp->orig_cacheline_size) {		/* Restore the cache line size if we had modified		 * it.		 */		pci_write_config_byte(pdev, PCI_CACHE_LINE_SIZE, 				      cp->orig_cacheline_size);	}#endif	pci_free_consistent(pdev, sizeof(struct cas_init_block),			    cp->init_block, cp->block_dvma);	iounmap((void *) cp->regs);	free_netdev(dev);	pci_release_regions(pdev);	pci_disable_device(pdev);	pci_set_drvdata(pdev, NULL);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a4199b0b9aa540a27935251de788cd0f5f5a87aa/cassini.c/buggy/drivers/net/cassini.c