pci_bridge_foreach
void pci_bridge_foreach(pci_chipset_tag_t, int, int,
pci_bridge_foreach(pc, bus, bus, pci_bridge_reset, 0);