Symbol: user_enabled
drivers/pci/setup-bus.c
1776
pci_realloc_enable = user_enabled;
drivers/pci/setup-bus.c
1780
return enable >= user_enabled;