X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_checkpoint.h;h=4281d5e1e2bc2948df9f76aa9b1a18363f815414;hb=793f9cd53a472668dbeb16341085e5512484485c;hp=cbb1b5df95c240cf3dd38afc3bd60815e6fb1a80;hpb=6ee36e0a7e4585bd0e4235eeb60644fffe230af3;p=palacios.git

diff --git a/palacios/include/palacios/vmm_checkpoint.h b/palacios/include/palacios/vmm_checkpoint.h
index cbb1b5d..4281d5e 100644
--- a/palacios/include/palacios/vmm_checkpoint.h
+++ b/palacios/include/palacios/vmm_checkpoint.h
@@ -41,8 +41,8 @@ int v3_chkpt_load(struct v3_chkpt_ctx * ctx, char * tag, uint64_t len, void * bu
 int v3_chkpt_close_ctx(struct v3_chkpt_ctx * ctx);
 struct v3_chkpt_ctx * v3_chkpt_open_ctx(struct v3_chkpt * chkpt, struct v3_chkpt_ctx * parent, char * name);
 
-int v3_load_vm(struct v3_vm_info * vm, char * store, char * url);
-int v3_save_vm(struct v3_vm_info * vm);
+int v3_chkpt_save_vm(struct v3_vm_info * vm, char * store, char * url);
+int v3_chkpt_load_vm(struct v3_vm_info * vm, char * store, char * url);