DMAR_GCMD_REG
KASSERT(reg != DMAR_GCMD_REG || (val & DMAR_GCMD_TE) ==
KASSERT(reg != DMAR_GCMD_REG, ("8byte GCMD write"));
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd | DMAR_GCMD_SRTP);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd | DMAR_GCMD_WBF);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd | DMAR_GCMD_SIRTP);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd);
dmar_write4(unit, DMAR_GCMD_REG, unit->hw_gcmd);