linux-2.4/drivers/pci/hotplug
