Re: [PATCH] iommu/amd: Fix IOMMU page flush when detach all devices from a domain

From: joro@xxxxxxxxxx
Date: Thu Jan 24 2019 - 03:04:58 EST

Hi Suravee,

On Thu, Jan 24, 2019 at 03:25:19AM +0000, Suthikulpanit, Suravee wrote:
> Actually, I just noticed that device_flush_dte() has already handled flushing the DTE
> for alias device as well. Please see the link below.
> So, we don't need to call device_flush_dte() for alias device in do_detach().

You are right, I missed that.