SMMU_S2CR
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_S2CR(dom->sd_smr_idx), reg);