diff --git a/drivers/pci/setup-bus.c b/drivers/pci/setup-bus.c index 219722df68d6f294489b981a97821bd2307bd4e6..e21e1c237301950b77c0bb517f5625f98f0f70a4 100644 --- a/drivers/pci/setup-bus.c +++ b/drivers/pci/setup-bus.c @@ -1347,6 +1347,9 @@ pci_assign_unassigned_resources(void) 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; }