x86/mm: Add iommu=sharept parameter for compatibility with 4.2

Signed-off-by: Tim Deegan <tim@xxxxxxx>


diff -r 0b7b70e5290a -r abdfa414c5fc xen/drivers/passthrough/iommu.c
--- a/xen/drivers/passthrough/iommu.c	Tue Aug 23 10:54:27 2011 +0100
+++ b/xen/drivers/passthrough/iommu.c	Thu Aug 25 11:00:45 2011 +0100
@@ -82,6 +82,8 @@ static void __init parse_iommu_param(cha
             iommu_passthrough = 1;
         else if ( !strcmp(s, "dom0-strict") )
             iommu_dom0_strict = 1;
+        else if ( !strcmp(s, "sharept") )
+            iommu_hap_pt_share = 1;
 
         s = ss + 1;
     } while ( ss );