PCI: properly unregister a PCI device if it is removed.
This is only used by pci hotplug and cardbus systems.
diff -Nru a/drivers/pci/hotplug.c b/drivers/pci/hotplug.c
--- a/drivers/pci/hotplug.c Tue Jan 7 16:44:43 2003
+++ b/drivers/pci/hotplug.c Tue Jan 7 16:44:43 2003
@@ -105,7 +105,7 @@
void
pci_remove_device(struct pci_dev *dev)
{
- put_device(&dev->dev);
+ device_unregister(&dev->dev);
list_del(&dev->bus_list);
list_del(&dev->global_list);
pci_free_resources(dev);
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/