X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_hypercall.h;h=4304790faa77b8bbbef38a4ff9bd22f3fc8908a8;hb=b3662a67b9b28e2b0724ebb2ea10edccba5d2a5b;hp=9c2407b22c59004ae85be23e1209d856bebe6960;hpb=77b8b3d88d13a1aeb5f6a034a8ea348bde9b9315;p=palacios.git

diff --git a/palacios/include/palacios/vmm_hypercall.h b/palacios/include/palacios/vmm_hypercall.h
index 9c2407b..4304790 100644
--- a/palacios/include/palacios/vmm_hypercall.h
+++ b/palacios/include/palacios/vmm_hypercall.h
@@ -58,7 +58,7 @@ typedef enum {
 
 
 void v3_init_hypercall_map(struct v3_vm_info * vm);
-
+int v3_deinit_hypercall_map(struct v3_vm_info * vm);
 
 int v3_register_hypercall(struct v3_vm_info * vm, hcall_id_t hypercall_id, 
 			  int (*hypercall)(struct guest_info * info , hcall_id_t hcall_id, void * priv_data),