DMAR_IQT_REG
dmar_read4(unit, DMAR_IQT_REG),
dmar_write8(unit, DMAR_IQT_REG, 0);
dmar_write4(unit, DMAR_IQT_REG, unit->x86c.inv_queue_tail);