X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=14a0d2f2e8b5cd488ab09780f33b6730fa3b5fc5;hp=961bbca62e01a59cbffe4fec9b7f4faa7c83a845;hb=793f9cd53a472668dbeb16341085e5512484485c;hpb=639d38dc437f87b9eab6648074f7b3eb8800e5d7

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 961bbca..14a0d2f 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -489,6 +489,19 @@ int v3_continue_vm(struct v3_vm_info * vm) {
     return 0;
 }
 
+#ifdef V3_CONFIG_CHECKPOINT
+#include <palacios/vmm_checkpoint.h>
+
+int v3_save_vm(struct v3_vm_info * vm, char * store, char * url) {
+    return v3_chkpt_save_vm(vm, store, url);
+}
+
+
+int v3_load_vm(struct v3_vm_info * vm, char * store, char * url) {
+    return v3_chkpt_load_vm(vm, store, url);
+}
+#endif
+
 
 int v3_free_vm(struct v3_vm_info * vm) {
     int i = 0;