Changeset 20492 in vbox for trunk/src

Timestamp:

Jun 12, 2009 9:45:54 AM (16 years ago)

Author:

vboxsync

Message:

Must flush the TLB of all VCPUs after flushing guest physical memory references.

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllHandler.cpp (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/PGMAllHandler.cpp

@@ -237 +237 @@
     if (fFlushTLBs && rc == VINF_SUCCESS)
     {
-        PGM_INVL_VCPU_TLBS(VMMGetCpu(pVM));
+        PGM_INVL_ALL_VCPU_TLBS(pVM);
         Log(("pgmHandlerPhysicalSetRamFlagsAndFlushShadowPTs: flushing guest TLBs\n"));
     }
     else
+    {
+        Assert(!fFlushTLBs);
         Log(("pgmHandlerPhysicalSetRamFlagsAndFlushShadowPTs: doesn't flush guest TLBs. rc=%Rrc\n", rc));
+    }
     return rc;
 }