linux/kernel26/drivers/pci/hotplug
