X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_paging.h;h=e494e96009e04a5ee3d75868f0d2a4836bbb1b2f;hp=d1f93f2a361cabc508458feb8e481a4b73bd4f19;hb=5a354421360c38d0f4d90f03c25296b2b35eec0e;hpb=3d2d01f344c7417adba8f7b8ac6501d45392222f

diff --git a/palacios/include/palacios/vmm_paging.h b/palacios/include/palacios/vmm_paging.h
index d1f93f2..e494e96 100644
--- a/palacios/include/palacios/vmm_paging.h
+++ b/palacios/include/palacios/vmm_paging.h
@@ -370,7 +370,7 @@ typedef struct pdpe64 {
 } __attribute__((packed)) pdpe64_t;
 
 
-// We Don't support this
+/* We Don't support this */
 typedef struct pdpe64_1GB {
     uint_t present        : 1;
     uint_t writable       : 1;
@@ -445,11 +445,11 @@ typedef struct pte64 {
 /* *************** */
 
 typedef struct pf_error_code {
-    uint_t present           : 1; // if 0, fault due to page not present
-    uint_t write             : 1; // if 1, faulting access was a write
-    uint_t user              : 1; // if 1, faulting access was in user mode
-    uint_t rsvd_access       : 1; // if 1, fault from reading a 1 from a reserved field (?)
-    uint_t ifetch            : 1; // if 1, faulting access was an instr fetch (only with NX)
+    uint_t present           : 1; /* if 0, fault due to page not present */
+    uint_t write             : 1; /* if 1, faulting access was a write */
+    uint_t user              : 1; /* if 1, faulting access was in user mode */
+    uint_t rsvd_access       : 1; /* if 1, fault from reading a 1 from a reserved field (?) */
+    uint_t ifetch            : 1; /* if 1, faulting access was an instr fetch (only with NX) */
     uint_t rsvd              : 27;
 } __attribute__((packed)) pf_error_t;
 
@@ -592,7 +592,7 @@ void PrintHostPageTree(struct guest_info * info, addr_t virtual_addr, addr_t cr3
 void PrintGuestPageTree(struct guest_info * info, addr_t virtual_addr, addr_t cr3);
 
 
-#endif // !__V3VEE__
+#endif /* !__V3VEE__ */