dev->global_list.next = dev->global_list.prev = NULL; 
static void pci_destroy_dev(struct pci_dev *dev){	pci_proc_detach_device(dev);	pci_remove_sysfs_dev_files(dev);	device_unregister(&dev->dev);	/* Remove the device from the device lists, and prevent any further	 * list accesses from this device */	spin_lock(&pci_bus_lock);	list_del(&dev->bus_list);	list_del(&dev->global_list);	dev->bus_list.next = dev->bus_list.prev = NULL;	dev->global_list.next = dev->global_list.prev = NULL;	spin_unlock(&pci_bus_lock);	pci_free_resources(dev);	pci_dev_put(dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/091ca9f06382e46d77213c35a97f7d0be9e350d2/remove.c/clean/drivers/pci/remove.c