if(!slot->dev) { 
if (!slot->dev) { 
int cpci_unconfigure_slot(struct slot* slot){	int i;	struct pci_dev *dev;	dbg("%s - enter", __FUNCTION__);	if(!slot->dev) {		err("No device for slot %02x\n", slot->number);		return -ENODEV;	}	for (i = 0; i < 8; i++) {		dev = pci_find_slot(slot->bus->number,				    PCI_DEVFN(PCI_SLOT(slot->devfn), i));		if(dev) {			pci_remove_bus_device(dev);			slot->dev = NULL;		}	}	dbg("%s - exit", __FUNCTION__);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bcc488ab02254a6e60d749187a632dc3d642d4f8/cpci_hotplug_pci.c/buggy/drivers/pci/hotplug/cpci_hotplug_pci.c