pci_hotplug_mem_size   91 drivers/pci/pci.c unsigned long pci_hotplug_mem_size = DEFAULT_HOTPLUG_MEM_SIZE;
pci_hotplug_mem_size 6452 drivers/pci/pci.c 				pci_hotplug_mem_size = memparse(str + 10, &str);
pci_hotplug_mem_size  225 drivers/pci/pci.h extern unsigned long pci_hotplug_mem_size;
pci_hotplug_mem_size 1215 drivers/pci/setup-bus.c 			additional_mem_size = pci_hotplug_mem_size;