cvmx_pcie_config_read32
*val = cvmx_pcie_config_read32(pcie_port, bus_number,
device0 = cvmx_pcie_config_read32(0, 0, 0, 0, 0);
device0 = cvmx_pcie_config_read32(1, 0, 0, 0, 0);