diff -r 072ffd2fa8f7 -r 958f11b847cc xen/drivers/passthrough/vtd/dmar.c
--- a/xen/drivers/passthrough/vtd/dmar.c	Thu Jan 21 16:39:46 2010 +0900
+++ b/xen/drivers/passthrough/vtd/dmar.c	Thu Jan 21 16:42:04 2010 +0900
@@ -480,10 +480,8 @@
             f = PCI_FUNC(rmrru->scope.devices[i]);
 
             if ( pci_device_detect(b, d, f) == 0 )
+            {
                 ignore = 1;
-            else
-            {
-                ignore = 0;
                 break;
             }
         }