--- xeno-unstable-latest/tools/libxc/xc_domain.c	2005-06-06 11:53:03.000000000 -0700
+++ xeno-unstable/tools/libxc/xc_domain.c	2005-06-06 15:28:59.000000000 -0700
@@ -83,6 +83,11 @@
         op.u.getdomaininfo.domain = (domid_t)next_domid;
         if ( (rc = do_dom0_op(xc_handle, &op)) < 0 )
             break;
+        if ( max_doms == 1 && op.u.getdomaininfo.domain != first_domid )
+        {
+            rc = -ESRCH;
+            break;
+        }
         info->domid      = (u16)op.u.getdomaininfo.domain;
 
         info->dying    = !!(op.u.getdomaininfo.flags & DOMFLAGS_DYING);