pci_device_foreach
pci_device_foreach(pc, pcibios_max_bus, pciintr_do_header_fixup, NULL);
void pci_device_foreach(pci_chipset_tag_t, int,
pci_device_foreach(pc, maxbus, pciaddr_resource_reserve, NULL);