Changeset 27109 in vbox for trunk

Timestamp:

Mar 5, 2010 3:59:45 PM (15 years ago)

Author:

vboxsync

Message:

Comment updates

File:

• trunk/include/VBox/x86.h (modified) (6 diffs)

trunk/include/VBox/x86.h

@@ -1132 +1132 @@
     unsigned    u1Accessed : 1;
     /** Dirty flag.
-     * Indicates that the page have been written to. */
+     * Indicates that the page has been written to. */
     unsigned    u1Dirty : 1;
     /** Reserved / If PAT enabled, bit 2 of the index.  */
@@ -1189 +1189 @@
     uint32_t    u1Accessed : 1;
     /** Dirty flag.
-     * Indicates that the page have been written to. */
+     * Indicates that the page has been written to. */
     uint32_t    u1Dirty : 1;
     /** Reserved / If PAT enabled, bit 2 of the index.  */
@@ -1324 +1324 @@
     unsigned    u1CacheDisable : 1;
     /** Accessed flag.
-     * Indicates that the page have been read or written to. */
+     * Indicates that the page has been read or written to. */
     unsigned    u1Accessed : 1;
     /** Reserved / Ignored (dirty bit). */
@@ -1359 +1359 @@
     uint32_t    u1CacheDisable : 1;
     /** Accessed flag.
-     * Indicates that the page have been read or written to. */
+     * Indicates that the page has been read or written to. */
     uint32_t    u1Accessed : 1;
     /** Reserved / Ignored (dirty bit). */
@@ -1445 +1445 @@
     unsigned    u1Accessed : 1;
     /** Dirty flag.
-     * Indicates that the page have been written to. */
+     * Indicates that the page has been written to. */
     unsigned    u1Dirty : 1;
     /** Page size flag - always 1 for 4MB entries. */
@@ -1488 +1488 @@
     uint32_t    u1Accessed : 1;
     /** Dirty flag.
-     * Indicates that the page have been written to. */
+     * Indicates that the page has been written to. */
     uint32_t    u1Dirty : 1;
     /** Page size flag - always 1 for 2MB entries. */