Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19778)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19779)
@@ -2180,4 +2180,5 @@
                     return VINF_PGM_HANDLED_DIRTY_BIT_FAULT;
                 }
+# ifdef IN_RING0
                 else
                 /* Check for stale TLB entry; only applies to the SMP guest case. */
@@ -2203,4 +2204,5 @@
                     }
                 }
+# endif /* IN_RING0 */
             }
         }
@@ -2318,6 +2320,9 @@
                             return VINF_PGM_HANDLED_DIRTY_BIT_FAULT;
                         }
+# ifdef IN_RING0
                         else
-                        if (    pPteDst->n.u1Write == 1 
+                        /* Check for stale TLB entry; only applies to the SMP guest case. */
+                        if (    pVM->cCPUs > 1
+                            &&  pPteDst->n.u1Write == 1 
                             &&  pPteDst->n.u1Accessed == 1)
                         {
@@ -2329,4 +2334,5 @@
                             return VINF_PGM_HANDLED_DIRTY_BIT_FAULT;
                         }
+# endif
                     }
                 }