tree 9546a411d65d6f2abaa1a0506d289f042178656b
parent c7151a8dfefd11108de5b4293af2390962bcff71
author Weidong Han <weidong.han@intel.com> 1228748400 +0800
committer Joerg Roedel <joerg.roedel@amd.com> 1230987738 +0100

Add domain_flush_cache

Because virtual machine domain may have multiple devices from different iommus, it cannot use __iommu_flush_cache.

In some common low level functions, use domain_flush_cache instead of __iommu_flush_cache. On the other hand, in some functions, iommu can is specified or domain cannot be got, still use __iommu_flush_cache

Signed-off-by: Weidong Han <weidong.han@intel.com>
Signed-off-by: Joerg Roedel <joerg.roedel@amd.com>