tree 9d1e330524fac88a95b6787e0b754e02e62df039
parent a679128d30d0303bbf5cac839c8f6f45793ea775
author Yu Zhao <yu.zhao@intel.com> 1246246305 +0800
committer David Woodhouse <David.Woodhouse@intel.com> 1246275251 +0100

intel-iommu: Only avoid flushing device IOTLB for domain ID 0 in caching mode

In caching mode, domain ID 0 is reserved for non-present to present
mapping flush. Device IOTLB doesn't need to be flushed in this case.

Previously we were avoiding the flush for domain zero, even if the IOMMU 
wasn't in caching mode and domain zero wasn't special.

Signed-off-by: Yu Zhao <yu.zhao@intel.com>
Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>