Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19776)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19777)
@@ -755,5 +755,5 @@
             {
                 /*
-                 * Write protected pages is make writable when the guest makes the first
+                 * Write protected pages are make writable when the guest makes the first
                  * write to it. This happens for pages that are shared, write monitored
                  * and not yet allocated.
@@ -1857,6 +1857,5 @@
                     }
 
-                    pPTDst->a[iPTDst] = PteDst;
-
+                    ASMAtomicWriteSize(&pPTDst->a[iPTDst], PteDst.u);
 
                     /*