X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_hypercall.h;h=4304790faa77b8bbbef38a4ff9bd22f3fc8908a8;hb=a9e204d157a33976ca454b2ce8b161c2a5501b14;hp=9c2407b22c59004ae85be23e1209d856bebe6960;hpb=c31bb26014522e5678e9c9dcc9eda760eeb5907a;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),