Index: /trunk/src/VBox/VMM/VMMAll/PGMAllHandler.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllHandler.cpp	(revision 27401)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllHandler.cpp	(revision 27402)
@@ -234,8 +234,8 @@
     }
 
-    if (fFlushTLBs && rc == VINF_SUCCESS)
+    if (fFlushTLBs && RT_SUCCESS(rc))
     {
         PGM_INVL_ALL_VCPU_TLBS(pVM);
-        Log(("pgmHandlerPhysicalSetRamFlagsAndFlushShadowPTs: flushing guest TLBs\n"));
+        Log(("pgmHandlerPhysicalSetRamFlagsAndFlushShadowPTs: flushing guest TLBs; rc=%d\n", rc));
     }
     else