Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13180)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13181)
@@ -2059,8 +2059,4 @@
 
                     STAM_COUNTER_INC(&pVM->hwaccm.s.StatExitGuestPF);
-                    /* The error code might have been changed. */
-                    errCode = TRPMGetErrorCode(pVM);
-
-                    TRPMResetTrap(pVM);
 
                     /* Now we must update CR2. */
@@ -2441,5 +2437,5 @@
             {
             case 0:
-                pVM->hwaccm.s.fContextUseFlags |= HWACCM_CHANGED_GUEST_CR0;
+                pVM->hwaccm.s.fContextUseFlags |= HWACCM_CHANGED_GUEST_CR0 | HWACCM_CHANGED_GUEST_CR3;
                 break;
             case 2: