user_enabled     1652 drivers/pci/setup-bus.c 		pci_realloc_enable = user_enabled;
user_enabled     1656 drivers/pci/setup-bus.c 	return enable >= user_enabled;