Index: tools/libxc/xc_domain_restore.c
===================================================================
--- tools/libxc/xc_domain_restore.c	(revision 3415)
+++ tools/libxc/xc_domain_restore.c	(working copy)
@@ -771,8 +771,7 @@
     case XC_SAVE_ID_VCPU_INFO:
         buf->new_ctxt_format = 1;
         if ( RDEXACT(fd, &buf->max_vcpu_id, sizeof(buf->max_vcpu_id)) ||
-             buf->max_vcpu_id >= 64 || RDEXACT(fd, &buf->vcpumap,
-                                               sizeof(uint64_t)) ) {
+             RDEXACT(fd, &buf->vcpumap, sizeof(uint64_t)) ) {
             PERROR("Error when reading max_vcpu_id");
             return -1;
         }
Index: tools/libxc/xc_domain_save.c
===================================================================
--- tools/libxc/xc_domain_save.c	(revision 3415)
+++ tools/libxc/xc_domain_save.c	(working copy)
@@ -1566,12 +1566,6 @@
             uint64_t vcpumap;
         } chunk = { XC_SAVE_ID_VCPU_INFO, info.max_vcpu_id };
 
-        if ( info.max_vcpu_id >= 64 )
-        {
-            ERROR("Too many VCPUS in guest!");
-            goto out;
-        }
-
         for ( i = 1; i <= info.max_vcpu_id; i++ )
         {
             xc_vcpuinfo_t vinfo;