/* @pcie_port: PCIe port to write to @cfg_offset: Address to write @val: Value to write  */
static void cvmx_pcie_cfgx_write(int pcie_port, uint32_t cfg_offset, uint32_t val)
/* @pcie_port: PCIe port to write to @cfg_offset: Address to write @val: Value to write  */
static void cvmx_pcie_cfgx_write(int pcie_port, uint32_t cfg_offset, uint32_t val)
{
	union cvmx_pescx_cfg_wr pescx_cfg_wr;
	pescx_cfg_wr.u64 = 0;
	pescx_cfg_wr.s.addr = cfg_offset;
	pescx_cfg_wr.s.data = val;
	cvmx_write_csr(CVMX_PESCX_CFG_WR(pcie_port), pescx_cfg_wr.u64);
}