X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_mem.h;h=f6338dff261ff855c08055457e1e0b9365f33656;hp=927577ee14b812bdd1944180964a3e053f9da197;hb=0e097100a26bc43eb8964734fa43130fc4c71429;hpb=70d3ac1e7be22e42fbf8f778367e9bf6d32e5b7f

diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h
index 927577e..f6338df 100644
--- a/palacios/include/palacios/vmm_mem.h
+++ b/palacios/include/palacios/vmm_mem.h
@@ -78,7 +78,7 @@ typedef struct v3_shdw_map {
 
 
 
-void v3_init_shadow_map(struct guest_info * info);
+int v3_init_shadow_map(struct guest_info * info);
 void v3_delete_shadow_map(struct guest_info * info);
 
 
@@ -114,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);