Symbol: pcie_bdf_list_add