if (slot->dev) pci_dev_put(slot->dev); 
static void release_slot(struct hotplug_slot *hotplug_slot){	struct slot *slot = hotplug_slot->private;	kfree(slot->hotplug_slot->info);	kfree(slot->hotplug_slot->name);	kfree(slot->hotplug_slot);	kfree(slot);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/03e49d40ea3436cae0fe43708f11584130ee4a0c/cpci_hotplug_core.c/clean/drivers/pci/hotplug/cpci_hotplug_core.c