Symbol: pci_bridge_wait_for_secondary_bus