Changeset 31850 in vbox for trunk/src/VBox/VMM/PGMInternal.h

Timestamp:

Aug 22, 2010 4:23:40 PM (14 years ago)

Author:

vboxsync

Message:

build fix

File:

• trunk/src/VBox/VMM/PGMInternal.h (modified) (2 diffs)

trunk/src/VBox/VMM/PGMInternal.h

@@ -3512 +3512 @@
     /** @} */
 
-    /** @name PAE and AMD64 Guest Paging.
-     * @{ */
-    /** Mask containing the PTE bits that we shadow. */
-    uint64_t                        fGst64ShadowedPteMask;
-    /** Mask containing the PDE bits that we shadow. */
-    uint64_t                        fGst64ShadowedPdeMask;
-    /** Mask containing the big page PDE bits that we shadow in the PDE. */
-    uint64_t                        fGst64ShadowedBigPdeMask;
-    /** Mask containing the big page PDE bits that we shadow in the PTE. */
-    uint64_t                        fGst64ShadowedBigPde4PteMask;
-    /** @}  */
-
     /** @name PAE Guest Paging.
      * @{ */
@@ -3585 +3573 @@
     uint64_t                        fGstAmd64MbzPml4eMask;
     /** @} */
+
+    /** @name PAE and AMD64 Guest Paging.
+     * @{ */
+    /** Mask containing the PTE bits that we shadow. */
+    uint64_t                        fGst64ShadowedPteMask;
+    /** Mask containing the PDE bits that we shadow. */
+    uint64_t                        fGst64ShadowedPdeMask;
+    /** Mask containing the big page PDE bits that we shadow in the PDE. */
+    uint64_t                        fGst64ShadowedBigPdeMask;
+    /** Mask containing the big page PDE bits that we shadow in the PTE. */
+    uint64_t                        fGst64ShadowedBigPde4PteMask;
+    /** @}  */
 
     /** Pointer to the page of the current active CR3 - R3 Ptr. */