--- a/tools/libxl/libxl_pci.c	2012-06-18 01:02:21.000000000 +0200
+++ b/tools/libxl/libxl_pci.c	2012-06-18 01:25:09.000000000 +0200
@@ -1008,6 +1008,7 @@ int libxl_device_pci_add(libxl_ctx *ctx,
     return rc;
 }
 
+/*
 static int libxl_pcidev_assignable(libxl_ctx *ctx, libxl_device_pci *pcidev)
 {
     libxl_device_pci *pcidevs;
@@ -1025,7 +1026,7 @@ static int libxl_pcidev_assignable(libxl
     }
     return 0;
 }
-
+*/
 int libxl__device_pci_add(libxl__gc *gc, uint32_t domid, libxl_device_pci *pcidev, int starting)
 {
     libxl_ctx *ctx = libxl__gc_owner(gc);
@@ -1037,13 +1038,13 @@ int libxl__device_pci_add(libxl__gc *gc,
     rc = libxl__device_pci_setdefault(gc, pcidev);
     if (rc) goto out;
 
-    if (!libxl_pcidev_assignable(ctx, pcidev)) {
+/*    if (!libxl_pcidev_assignable(ctx, pcidev)) {
         LIBXL__LOG(ctx, LIBXL__LOG_ERROR, "PCI device %x:%x:%x.%x is not assignable",
                    pcidev->domain, pcidev->bus, pcidev->dev, pcidev->func);
         rc = ERROR_FAIL;
         goto out;
     }
-
+*/
     rc = get_all_assigned_devices(gc, &assigned, &num_assigned);
     if ( rc ) {
         LIBXL__LOG(ctx, LIBXL__LOG_ERROR, "cannot determine if device is assigned, refusing to continue");