smmu_cb_write_4
smmu_cb_write_4(sc, sc->sc_num_context_banks - 1,
smmu_cb_write_4(sc, i, SMMU_CB_SCTLR, 0);
smmu_cb_write_4(sc, i, SMMU_CB_FSR, SMMU_CB_FSR_MASK);
smmu_cb_write_4(sc, i, SMMU_CB_ACTLR, reg);
smmu_cb_write_4(sc, cbi->cbi_idx, SMMU_CB_FSR, reg);
smmu_cb_write_4(sc, dom->sd_cb_idx, SMMU_CB_TLBSYNC, ~0);
void smmu_cb_write_4(struct smmu_softc *, int, bus_size_t, uint32_t);
smmu_cb_write_4(sc, dom->sd_cb_idx, SMMU_CB_TCR2, reg);
smmu_cb_write_4(sc, dom->sd_cb_idx, SMMU_CB_TCR, reg);
smmu_cb_write_4(sc, dom->sd_cb_idx, SMMU_CB_MAIR0,
smmu_cb_write_4(sc, dom->sd_cb_idx, SMMU_CB_MAIR1,
smmu_cb_write_4(sc, dom->sd_cb_idx, SMMU_CB_SCTLR, reg);