Symbol: add_pcie_port