Changeset 12899 in vbox

Timestamp:

Oct 2, 2008 8:25:45 AM (17 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

37304

Message:

Corrections

File:

• trunk/include/VBox/hwacc_vmx.h (modified) (5 diffs)

trunk/include/VBox/hwacc_vmx.h

@@ -63 +63 @@
     uint64_t    u1Execute       : 1;
     /** Reserved (must be 0). */
-    uint64_t    u4Reserved      : 4;
+    uint64_t    u5Reserved      : 5;
     /** Available for software. */
     uint64_t    u4Available     : 4;
     /** Physical address of the next level (PD). Restricted by maximum physical address width of the cpu. */
-    uint64_t    u40PhysAddr     : 36;
+    uint64_t    u40PhysAddr     : 40;
     /** Availabe for software. */
     uint64_t    u12Available    : 12;
@@ -102 +102 @@
     uint64_t    u1Execute       : 1;
     /** Reserved (must be 0). */
-    uint64_t    u4Reserved      : 4;
+    uint64_t    u5Reserved      : 5;
     /** Available for software. */
     uint64_t    u4Available     : 4;
     /** Physical address of the next level (PD). Restricted by maximum physical address width of the cpu. */
-    uint64_t    u40PhysAddr     : 36;
+    uint64_t    u40PhysAddr     : 40;
     /** Availabe for software. */
     uint64_t    u12Available    : 12;
@@ -162 +162 @@
     uint64_t    u4Available     : 4;
     /** Physical address of page table. Restricted by maximum physical address width of the cpu. */
-    uint64_t    u40PhysAddr     : 36;
+    uint64_t    u40PhysAddr     : 40;
     /** Availabe for software. */
     uint64_t    u12Available    : 12;
@@ -191 +191 @@
     uint64_t    u9Reserved      : 9;
     /** Physical address of the 2MB page. Restricted by maximum physical address width of the cpu. */
-    uint64_t    u32PhysAddr     : 27;
+    uint64_t    u31PhysAddr     : 31;
     /** Availabe for software. */
     uint64_t    u12Available    : 12;
@@ -248 +248 @@
     uint64_t    u5Available     : 5;
     /** Physical address of page. Restricted by maximum physical address width of the cpu. */
-    uint64_t    u40PhysAddr     : 36;
+    uint64_t    u40PhysAddr     : 40;
     /** Availabe for software. */
     uint64_t    u12Available    : 12;