diff options
| author |   Weidong Han <weidong.han@intel.com> | 2008-12-08 23:00:00 +0800 |
|---|---|---|
| committer |   Joerg Roedel <joerg.roedel@amd.com> | 2009-01-03 14:02:18 +0100 |
| commit | 5331fe6f5627e06eec7d0dc154a0a3a9c27813c5 (patch) | |
| tree | 9546a411d65d6f2abaa1a0506d289f042178656b /include/linux/memory_hotplug.h | |
| parent | Add/remove domain device info for virtual machine domain (diff) | |
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>
Diffstat (limited to 'include/linux/memory_hotplug.h')
0 files changed, 0 insertions, 0 deletions