X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_mem.h;h=99a53fc9e2a8279dc9c7025ac27223a62f449a25;hb=c0e8207d10b6b077c3fac4fb013ba7485f3a6391;hp=f9eb789a8409f956c92a023f0120628476d4bbc8;hpb=d0ebfed83ac079f95da8bf79e64ac77f31d551ac;p=palacios.git

diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h
index f9eb789..99a53fc 100644
--- a/palacios/include/palacios/vmm_mem.h
+++ b/palacios/include/palacios/vmm_mem.h
@@ -105,19 +105,14 @@ int v3_add_shadow_mem(struct v3_vm_info * vm, uint16_t core_id,
 struct v3_mem_region * v3_get_mem_region(struct v3_vm_info * vm, uint16_t core_id, addr_t guest_addr);
 
 
-addr_t v3_get_shadow_addr(struct v3_mem_region * reg, uint16_t core_id, addr_t guest_addr);
-
-
-
+uint32_t v3_get_max_page_size(struct guest_info * core, addr_t fault_addr, v3_cpu_mode_t mode);
 
 
 void v3_print_mem_map(struct v3_vm_info * vm);
 
 
 
-
-
-#endif // ! __V3VEE__
+#endif /* ! __V3VEE__ */
 
 
 #endif