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

diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h
index 927577e..5484007 100644
--- a/palacios/include/palacios/vmm_mem.h
+++ b/palacios/include/palacios/vmm_mem.h
@@ -35,12 +35,13 @@ struct guest_info;
 
 
 
-// These are the types of physical memory address regions
-// from the perspective of the HOST
+/* These are the types of physical memory address regions
+ * from the perspective of the HOST
+ */
 typedef enum shdw_region_type { 
-    SHDW_REGION_WRITE_HOOK,                 // This region is mapped as read-only (page faults on write)
-    SHDW_REGION_FULL_HOOK,                  // This region is mapped as not present (always generate page faults)
-    SHDW_REGION_ALLOCATED,                  // Region is a section of host memory
+    SHDW_REGION_WRITE_HOOK,                 /* This region is mapped as read-only (page faults on write) */
+    SHDW_REGION_FULL_HOOK,                  /* This region is mapped as not present (always generate page faults) */
+    SHDW_REGION_ALLOCATED,                  /* Region is a section of host memory */
 } v3_shdw_region_type_t;
 
 
@@ -52,12 +53,12 @@ struct v3_shadow_region {
 
     v3_shdw_region_type_t   host_type;
   
-    addr_t                  host_addr; // This either points to a host address mapping
+    addr_t                  host_addr; /* This either points to a host address mapping */
 
 
-    // Called when data is read from a memory page
+    /* Called when data is read from a memory page */
     int (*read_hook)(addr_t guest_addr, void * dst, uint_t length, void * priv_data);
-    // Called when data is written to a memory page
+    /* Called when data is written to a memory page */
     int (*write_hook)(addr_t guest_addr, void * src, uint_t length, void * priv_data);
 
     void * priv_data;
@@ -78,7 +79,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 +115,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);
 
 
 
@@ -131,7 +132,7 @@ int v3_handle_mem_wr_hook(struct guest_info * info, addr_t guest_va, addr_t gues
 int v3_handle_mem_full_hook(struct guest_info * info, addr_t guest_va, addr_t guest_pa, 
 			    struct v3_shadow_region * reg, pf_error_t access_info);
 
-#endif // ! __V3VEE__
+#endif /* ! __V3VEE__ */
 
 
 #endif