X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_mem.h;h=553497da7217323cc092b4a8c06b5d30ab7395da;hb=3a4e54ec208ea3589963b410d2d73292bbc4a8fe;hp=f87c8d09c188afaa031823a0e01633ec1e8c7348;hpb=058a3adde5893927ae056a1d8fbccd5191d2446f;p=palacios.git

diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h
index f87c8d0..553497d 100644
--- a/palacios/include/palacios/vmm_mem.h
+++ b/palacios/include/palacios/vmm_mem.h
@@ -99,12 +99,14 @@ int v3_hook_write_mem(struct guest_info * info, addr_t guest_addr_start, addr_t
 
 
 
-
+int v3_unhook_mem(struct guest_info * info, addr_t guest_addr_start);
 
 
 void v3_delete_shadow_region(struct guest_info * info, struct v3_shadow_region * reg);
 
 
+
+
 struct v3_shadow_region * v3_get_shadow_region(struct guest_info * info, addr_t guest_addr);
 addr_t v3_get_shadow_addr(struct v3_shadow_region * reg, addr_t guest_addr);
 
@@ -112,7 +114,7 @@ addr_t v3_get_shadow_addr(struct v3_shadow_region * reg, addr_t guest_addr);
 
 
 
-void print_shadow_map(struct guest_info * info);
+void v3_print_mem_map(struct guest_info * info);