invalid_access:
panic_printk("FATAL: Invalid PCI MMCONFIG write, device %02x:%02x.%x, "
- "reg: %\n", PCI_BDF_PARAMS(mmio->address >> 12),
+ "reg: %x\n", PCI_BDF_PARAMS(mmio->address >> 12),
reg_addr);
return MMIO_ERROR;
mmio_region_register(cell, mmcfg_start, mmcfg_size,
pci_mmconfig_access_handler, NULL);
+ if (cell->config->num_pci_devices == 0)
+ return 0;
+
cell->pci_devices = page_alloc(&mem_pool, devlist_pages);
if (!cell->pci_devices)
return -ENOMEM;