X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_checkpoint.c;h=f33f64ed49cd4503781046b8d6374bc5f241e21e;hp=fbe922de75442585d183e5d013d5c2e5dae39df8;hb=e00538192a2762cacb12b359b40f076cb4f3ba83;hpb=5d1bbcc86de011e3f0d115b6f10fd8645cdf855e

diff --git a/palacios/src/palacios/vmm_checkpoint.c b/palacios/src/palacios/vmm_checkpoint.c
index fbe922d..f33f64e 100644
--- a/palacios/src/palacios/vmm_checkpoint.c
+++ b/palacios/src/palacios/vmm_checkpoint.c
@@ -475,12 +475,12 @@ int v3_chkpt_save_vm(struct v3_vm_info * vm, char * store, char * url) {
 	goto out;
     }
     
-    /*
-    if ((ret = v3_chkpt_save_dev(vm)) == -1) {
+    
+    if ((ret = v3_save_vm_devices(vm, chkpt)) == -1) {
 	PrintError("Unable to save devices\n");
 	goto out;
     }
-    */
+    
 
     if ((ret = save_header(vm, chkpt)) == -1) {
 	PrintError("Unable to save header\n");
@@ -530,12 +530,11 @@ int v3_chkpt_load_vm(struct v3_vm_info * vm, char * store, char * url) {
     }
 
 
-    /* Don't handle devices just yet
-    if (v3_chkpt_load_dev(vm) == -1) {
+    if ((ret = v3_load_vm_devices(vm, chkpt)) == -1) {
 	PrintError("Unable to load devies\n");
+	goto out;
     }
 
-    */
 
     if ((ret = load_header(vm, chkpt)) == -1) {
 	PrintError("Unable to load header\n");
@@ -550,7 +549,7 @@ int v3_chkpt_load_vm(struct v3_vm_info * vm, char * store, char * url) {
 	}
     }
 
- out:     
+ out:
 
     /* Resume the guest if it was running and we didn't just trash the state*/
     if (vm->run_state == VM_RUNNING) {