[PATCH 3.18 058/134] iommu/amd: Fix IOMMU page flush when detach device from a domain