void
pci_setup(void)
{
- if (CONFIG_COREBOOT || usingXen())
- // Already done by coreboot or Xen.
+ if (CONFIG_COREBOOT || usingXen()) {
+ // PCI setup already done by coreboot or Xen - just do probe.
+ pci_probe();
return;
+ }
dprintf(3, "pci setup\n");
pci_bios_init_bus();
+ pci_probe();
+
int bdf, max;
foreachbdf(bdf, max) {
pci_init_device(pci_isa_bridge_tbl, bdf, NULL);