diff -r c1f2b68b6dca xen/drivers/passthrough/amd/iommu_init.c
--- a/xen/drivers/passthrough/amd/iommu_init.c	Wed Oct 28 17:27:47 2009 +0000
+++ b/xen/drivers/passthrough/amd/iommu_init.c	Thu Oct 29 12:46:00 2009 +0100
@@ -719,7 +719,7 @@ static int __init amd_iommu_setup_device
     int sys_mgt, dev_ex, lint1_pass, lint0_pass,
        nmi_pass, ext_int_pass, init_pass;
 
-    BUG_ON( (ivrs_bdf_entries == 0) || (iommu_enabled) );
+    BUG_ON( (ivrs_bdf_entries == 0) );
 
     /* allocate 'device table' on a 4K boundary */
     device_table.alloc_size = PAGE_SIZE <<