Symbol: to_pcie_device