DEFAULT_HOTPLUG_BUS_SIZE   94 drivers/pci/pci.c unsigned long pci_hotplug_bus_size = DEFAULT_HOTPLUG_BUS_SIZE;
DEFAULT_HOTPLUG_BUS_SIZE 6457 drivers/pci/pci.c 					pci_hotplug_bus_size = DEFAULT_HOTPLUG_BUS_SIZE;