CVMX_PIP_PRT_CFGX
port_cfg.u64 = cvmx_read_csr(CVMX_PIP_PRT_CFGX(ipd_port));
cvmx_write_csr(CVMX_PIP_PRT_CFGX(ipd_port), port_cfg.u64);
cvmx_read_csr(CVMX_PIP_PRT_CFGX(ipd_port));
cvmx_write_csr(CVMX_PIP_PRT_CFGX(ipd_port),
port_config.u64 = cvmx_read_csr(CVMX_PIP_PRT_CFGX(ipd_port));
cvmx_write_csr(CVMX_PIP_PRT_CFGX(ipd_port), port_config.u64);
port_config.u64 = cvmx_read_csr(CVMX_PIP_PRT_CFGX(ipd_port));
cvmx_write_csr(CVMX_PIP_PRT_CFGX(port_num), port_cfg.u64);