diff options
author | 2012-02-23 19:23:31 -0800 | |
---|---|---|
committer | 2012-02-24 08:47:53 -0800 | |
commit | eb572e7c76f154d75f90a783924f88afc34d5fec (patch) | |
tree | 79e87cc204d3e04b911c25dee39c7ebe5079d276 /drivers/pci/setup-bus.c | |
parent | PCI: prepare pci=realloc for multiple options (diff) | |
download | linux-eb572e7c76f154d75f90a783924f88afc34d5fec.tar.gz linux-eb572e7c76f154d75f90a783924f88afc34d5fec.tar.bz2 linux-eb572e7c76f154d75f90a783924f88afc34d5fec.zip |
PCI: print out suggestion about using pci=realloc
let user know they could try if pci=realloc could help.
-v2: update suggestion text.
Suggested-by: Jesse Barnes <jbarnes@virtuousgeek.org>
Signed-off-by: Yinghai Lu <yinghai@kernel.org>
Signed-off-by: Jesse Barnes <jbarnes@virtuousgeek.org>
Diffstat (limited to 'drivers/pci/setup-bus.c')
-rw-r--r-- | drivers/pci/setup-bus.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/drivers/pci/setup-bus.c b/drivers/pci/setup-bus.c index 219722df68d6..e21e1c237301 100644 --- a/drivers/pci/setup-bus.c +++ b/drivers/pci/setup-bus.c @@ -1347,6 +1347,9 @@ again: goto enable_and_dump; if (tried_times >= pci_try_num) { + if (pci_realloc_enable == undefined) + printk(KERN_INFO "Some PCI device resources are unassigned, try booting with pci=realloc\n"); + free_list(&fail_head); goto enable_and_dump; } |