1.1 --- a/tools/libxc/xc_linux_save.c	Thu Nov 24 16:30:40 2005 +0100
     1.2 +++ b/tools/libxc/xc_linux_save.c	Thu Nov 24 16:32:38 2005 +0100
     1.3 @@ -727,8 +727,8 @@ int xc_linux_save(int xc_handle, int io_
     1.4  
     1.5      /* Domain is still running at this point */
     1.6  
     1.7 -    if (live && (pt_levels != 2)) {
     1.8 -        ERR("Live migration supported only for 32-bit non-pae");
     1.9 +    if (live && (pt_levels == 4)) {
    1.10 +        ERR("Live migration not supported for 64-bit guests");
    1.11          live = 0;
    1.12      }
    1.13