bcmpax_read_4
uint32_t v = bcmpax_read_4(sc, PCIE_STRAP_STATUS);
bcmpax_read_4(sc, PCIE_FUNC0_IMAP1),
bcmpax_read_4(sc, PCIE_IARR_1_LOWER),
bcmpax_read_4(sc, PCIE_FUNC0_IMAP2),
bcmpax_read_4(sc, PCIE_IARR_2_LOWER));
rv = bcmpax_read_4(sc, data_reg);
while (bcmpax_read_4(sc, PCIE_SYS_RC_INTX_CSR)) {