Changeset 8030 in vbox for trunk/src/VBox/VMM/VMMAll/PGMAllBth.h

Timestamp:

Apr 16, 2008 11:43:17 AM (17 years ago)

Author:

vboxsync

Message:

Another fix for PAE mappings

File:

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

trunk/src/VBox/VMM/VMMAll/PGMAllBth.h

@@ -2631 +2631 @@
     STAM_PROFILE_STOP(&pVM->pgm.s.CTXMID(Stat,SyncCR3Handlers), h);
 
+#ifdef IN_RING3
+_asm int 3;
+#endif
+
 #ifdef PGMPOOL_WITH_MONITORING
     /*
@@ -2957 +2961 @@
                 /* advance. */
                 iPD += cPTs - 1;
-                pPDEDst += cPTs + cPTs;
+                pPDEDst += cPTs;
 #  else  /* PGM_GST_TYPE != PGM_TYPE_32BIT && PGM_GST_TYPE != PGM_TYPE_PAE && PGM_WITHOUT_MAPPINGS */
                 Assert(!pgmMapAreMappingsEnabled(&pVM->pgm.s));