PCIE_CORE_OB_ADDR1
APB_WR4(sc, PCIE_CORE_OB_ADDR1(idx), (uint32_t)(pa >> 32));
APB_WR4(sc, PCIE_CORE_OB_ADDR1(idx), 0);