tree 4f834f7009e9607c24b6d5328e867aa4d5f0440a
parent 7f92a2e9107c2cf870a11bb77738207daa94fee3
author David Woodhouse <David.Woodhouse@intel.com> 1445020613 +0100
committer David Woodhouse <David.Woodhouse@intel.com> 1445020624 +0100

iommu/vt-d: Fix IOTLB flushing for global pages

When flushing kernel-mode PASIDs, we need to flush global pages too.

Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>