Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 61425)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 61426)
@@ -4126,10 +4126,5 @@
                 }
 #endif
-                if (   uIdtVector == X86_XCPT_BP
-                    || uIdtVector == X86_XCPT_OF)
-                {
-                    /* Ignore INT3/INTO just retry execution. See #8357. */
-                } 
-                else if (   uExitVector == X86_XCPT_PF
+                if (   uExitVector == X86_XCPT_PF
                     && uIdtVector  == X86_XCPT_PF)
                 {