1.1 --- a/tools/libxc/xc_linux_restore.c	Tue Jan 17 16:06:03 2006 +0100
     1.2 +++ b/tools/libxc/xc_linux_restore.c	Tue Jan 17 16:09:03 2006 +0100
     1.3 @@ -170,13 +170,6 @@ int xc_linux_restore(int xc_handle, int 
     1.4      }
     1.5  
     1.6  
     1.7 -    /* Only have to worry about vcpu 0 even for SMP */
     1.8 -    if (xc_vcpu_getcontext( xc_handle, dom, 0, &ctxt)) {
     1.9 -        ERR("Could not get vcpu context");
    1.10 -        goto out;
    1.11 -    }
    1.12 -
    1.13 -    
    1.14      /* Read the saved P2M frame list */
    1.15      if(!(p2m_frame_list = malloc(P2M_FL_SIZE))) { 
    1.16          ERR("Couldn't allocate p2m_frame_list array");