AMDIOMMU_CMDBUF_TAIL
amdiommu_write8(unit, AMDIOMMU_CMDBUF_TAIL, unit->x86c.inv_queue_tail);
cmd_tail = amdiommu_read4(unit, AMDIOMMU_CMDBUF_TAIL);