Index: /trunk/src/VBox/VMM/PGMPhys.cpp
===================================================================
--- /trunk/src/VBox/VMM/PGMPhys.cpp	(revision 24697)
+++ /trunk/src/VBox/VMM/PGMPhys.cpp	(revision 24698)
@@ -645,5 +645,4 @@
     }
     ASMAtomicIncU32(&pVM->pgm.s.idRamRangesGen);
-
     pgmUnlock(pVM);
 }
@@ -680,5 +679,4 @@
     }
     ASMAtomicIncU32(&pVM->pgm.s.idRamRangesGen);
-
     pgmUnlock(pVM);
 }
@@ -706,5 +704,4 @@
 
     pgmR3PhysUnlinkRamRange2(pVM, pRam, pPrev);
-
     pgmUnlock(pVM);
 }
@@ -1034,4 +1031,5 @@
         pgmR3PhysInitAndLinkRamRange(pVM, pNew, GCPhys, GCPhysLast, NIL_RTRCPTR, NIL_RTR0PTR, pszDesc, pPrev);
     }
+    PGMPhysInvalidatePageMapTLB(pVM);
     pgmUnlock(pVM);
 
@@ -1387,4 +1385,5 @@
         MMHyperFree(pVM, pRam);
     }
+    PGMPhysInvalidatePageMapTLB(pVM);
 
     return rc;
@@ -1494,4 +1493,5 @@
     }
 
+    PGMPhysInvalidatePageMapTLB(pVM);
     return rc;
 }
@@ -1641,4 +1641,5 @@
                 *ppv = pvPages;
                 RTMemTmpFree(paPages);
+                PGMPhysInvalidatePageMapTLB(pVM);
                 return VINF_SUCCESS;
             }
@@ -1752,4 +1753,5 @@
         }
     }
+    PGMPhysInvalidatePageMapTLB(pVM);
     pgmUnlock(pVM);
     return !cFound && iRegion != UINT32_MAX ? VERR_NOT_FOUND : rc;
@@ -1890,4 +1892,5 @@
     }
 
+    PGMPhysInvalidatePageMapTLB(pVM);
     return VINF_SUCCESS;
 }
@@ -1970,4 +1973,5 @@
     pCur->fMapped = false;
 
+    PGMPhysInvalidatePageMapTLB(pVM);
     pgmUnlock(pVM);
 
@@ -2406,4 +2410,5 @@
                     }
 
+                    PGMPhysInvalidatePageMapTLB(pVM);
                     GMMR3AllocatePagesCleanup(pReq);
                     pgmUnlock(pVM);