Symbol: pcie_topo_add_device