added device checkpoint hooks

[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 58b5dd3..6974344 100644 (file)
--- a/palacios/include/palacios/vmm_mem.h
+++ b/palacios/include/palacios/vmm_mem.h
@@ -44,6 +44,9 @@ typedef struct {
     union {
        uint16_t value;
        struct {
+           // These reflect the VMM's intent for the shadow or nested pts 
+           // that will implement the region.   The guest's intent is in
+           // its own page tables.
            uint8_t read   : 1;
            uint8_t write  : 1;
            uint8_t exec   : 1;
@@ -112,7 +115,7 @@ void v3_print_mem_map(struct v3_vm_info * vm);
 
 
 
-#endif // ! __V3VEE__
+#endif /* ! __V3VEE__ */
 
 
 #endif