updated comments for compiler compatibility

[palacios.git] / palacios / include / palacios / vmm_mem.h

diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h
index f87c8d0..5484007 100644 (file)
--- 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);
 
 
@@ -99,12 +100,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 +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);
 
 
 
@@ -129,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