@@ -675,6 +675,10 @@ static PCIDevice *do_pci_register_device(PCIDevice *pci_dev, PCIBus *bus,
error_report("PCI: no slot/function available for %s, all in use", name);
return NULL;
found: ;
+ } else if (devfn > PCIBUS_MAX_DEVICES - 1) {
+ error_report("PCI: devfn is out of bus capacity."
+ " Only %d devices supported.", PCIBUS_MAX_DEVICES);
+ return NULL;
} else if (bus->devices[devfn]) {
error_report("PCI: slot %d function %d not available for %s, in use by %s",
PCI_SLOT(devfn), PCI_FUNC(devfn), name, bus->devices[devfn]->name);