cvmx_pcie_get_io_base_address
set_io_port_base(CVMX_ADD_IO_SEG(cvmx_pcie_get_io_base_address(0)));
cvmx_pcie_get_io_base_address(1) -
cvmx_pcie_get_io_base_address(0) + cvmx_pcie_get_io_size(1) - 1;
CVMX_ADD_IO_SEG(cvmx_pcie_get_io_base_address
CVMX_ADD_IO_SEG(cvmx_pcie_get_io_base_address(0));
cvmx_pcie_get_io_base_address(1) -
cvmx_pcie_get_io_base_address(0);
cvmx_pcie_get_io_base_address(1) -
cvmx_pcie_get_io_base_address(0);