Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 31442)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 31443)
@@ -119,4 +119,5 @@
     TRPMSetErrorCode(pVCpu, uNewErr);
 
+    LogFlow(("Guest trap; cr2=%RGv uErr=%RGv lvl=%d\n", pGstWalk->Core.GCPtr, uErr, pGstWalk->Core.uLevel));
     STAM_STATS({ pVCpu->pgm.s.CTX_SUFF(pStatTrap0eAttribution) = &pVCpu->pgm.s.CTX_SUFF(pStats)->StatRZTrap0eTime2GuestTrap; });
     return VINF_EM_RAW_GUEST_TRAP;
@@ -1426,4 +1427,5 @@
     if (!PGM_PAGE_HAS_ACTIVE_ALL_HANDLERS(pPage))
     {
+        LogFlow(("SyncHandlerPte: monitored page (%R[pgmpage]) -> mark read-only\n", pPage));
 #if PGM_SHW_TYPE == PGM_TYPE_EPT
         pPteDst->u             = PGM_PAGE_GET_HCPHYS(pPage);
@@ -1557,6 +1559,6 @@
             if (PGM_PAGE_HAS_ACTIVE_HANDLERS(pPage))
                 PGM_BTH_NAME(SyncHandlerPte)(pVM, pPage,
-                                             PteSrc.u & ~(  X86_PTE_PAE_PG_MASK | X86_PTE_AVL_MASK | X86_PTE_PAT
-                                                          | X86_PTE_PCD | X86_PTE_PWT | X86_PTE_RW),
+                                             PteSrc.u & ~(  X86_PTE_PAE_PG_MASK | X86_PTE_AVL_MASK
+                                                          | X86_PTE_PAT | X86_PTE_PCD | X86_PTE_PWT),
                                              &PteDst);
             else