amd-passthrough.patch

diff --git a/tools/libxl/libxl_dm.c b/tools/libxl/libxl_dm.c
index f2dc569..fe30394 100644
--- a/tools/libxl/libxl_dm.c
+++ b/tools/libxl/libxl_dm.c
@@ -1802,7 +1802,7 @@ static int libxl__build_device_model_args_new(libxl__gc *gc,
                             libxl__detect_gfx_passthru_kind(gc, guest_config);
             switch (gfx_passthru_kind) {
             case LIBXL_GFX_PASSTHRU_KIND_IGD:
-                machinearg = GCSPRINTF("%s,igd-passthru=on", machinearg);
+                //machinearg = GCSPRINTF("%s,igd-passthru=on", machinearg);
                 break;
             case LIBXL_GFX_PASSTHRU_KIND_DEFAULT:
                 LOGD(ERROR, guest_domid, "unable to detect required gfx_passthru_kind");
diff --git a/tools/libxl/libxl_pci.c b/tools/libxl/libxl_pci.c
index bc5843b..a5d46aa 100644
--- a/tools/libxl/libxl_pci.c
+++ b/tools/libxl/libxl_pci.c
@@ -594,7 +594,7 @@ bool libxl__is_igd_vga_passthru(libxl__gc *gc,
         pt_device = sysfs_dev_get_device(gc, pcidev);
 
         if (pt_vendor == 0xffff || pt_device == 0xffff ||
-            pt_vendor != 0x8086)
+            (pt_vendor != 0x8086 && pt_vendor != 0x1002))
             continue;
 
         if (sysfs_dev_get_class(gc, pcidev, &class))
@@ -2450,7 +2450,7 @@ int libxl__grant_vga_iomem_permission(libxl__gc *gc, const uint32_t domid,
         return 0;
 
     for (i = 0 ; i < d_config->num_pcidevs ; i++) {
-        uint64_t vga_iomem_start = 0xa0000 >> XC_PAGE_SHIFT;
+        uint64_t vga_iomem_start = 0xc0000 >> XC_PAGE_SHIFT;
         uint32_t stubdom_domid;
         libxl_device_pci *pcidev = &d_config->pcidevs[i];
         unsigned long pci_device_class;