Symbol: pcie_port_write