diff --git a/xen/drivers/passthrough/vtd/iommu.c b/xen/drivers/passthrough/vtd/iommu.c
index 7717ab4..58b73ac 100644
--- a/xen/drivers/passthrough/vtd/iommu.c
+++ b/xen/drivers/passthrough/vtd/iommu.c
@@ -1373,6 +1373,8 @@ int domain_context_mapping_one(
 
     set_bit(iommu->index, &hd->iommu_bitmap);
 
+    iommu_flush_context_global(iommu, 0);
+
     unmap_vtd_domain_page(context_entries);
 
     if ( !seg )