IPROC_PCIE_IARR0
val = iproc_pcie_read_reg(pcie, MAP_REG(IPROC_PCIE_IARR0, region_idx));
MAP_REG(IPROC_PCIE_IARR0, region_idx));
MAP_REG(IPROC_PCIE_IARR0, idx), 0);
[IPROC_PCIE_IARR0] = 0xd00,