On Wed, Jan 16, 2019 at 02:40:59PM +0000, Suthikulpanit, Suravee wrote: > Actually, device_flush_dte(alias) should be needed regardless of this patch. > Are you planning to add this?
Yes, I stumbled over this while writing the diff. I'll submit that as a separate patch. Thanks, Joerg _______________________________________________ iommu mailing list iommu@lists.linux-foundation.org https://lists.linuxfoundation.org/mailman/listinfo/iommu