smmu_gr0_write_4
smmu_gr0_write_4(sc, SMMU_SGFSR, smmu_gr0_read_4(sc, SMMU_SGFSR));
smmu_gr0_write_4(sc, SMMU_S2CR(i),
smmu_gr0_write_4(sc, SMMU_S2CR(i),
smmu_gr0_write_4(sc, SMMU_S2CR(i), SMMU_S2CR_TYPE_FAULT);
smmu_gr0_write_4(sc, SMMU_S2CR(i), SMMU_S2CR_TYPE_BYPASS);
smmu_gr0_write_4(sc, SMMU_SMR(i), 0);
smmu_gr0_write_4(sc, SMMU_TLBIALLH, ~0);
smmu_gr0_write_4(sc, SMMU_TLBIALLNSNH, ~0);
smmu_gr0_write_4(sc, SMMU_SACR, reg);
smmu_gr0_write_4(sc, SMMU_SCR0, reg);
smmu_gr0_write_4(sc, SMMU_SGFSR, reg);
smmu_gr0_write_4(sc, SMMU_STLBGSYNC, ~0);
void smmu_gr0_write_4(struct smmu_softc *, bus_size_t, uint32_t);
smmu_gr0_write_4(sc, SMMU_S2CR(dom->sd_smr_idx), reg);
smmu_gr0_write_4(sc, SMMU_SMR(dom->sd_smr_idx), reg);