Symbol: s32g_pcie_port