Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 61427)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 61428)
@@ -4126,6 +4126,12 @@
                 }
 #endif
-                if (   uExitVector == X86_XCPT_PF
-                    && uIdtVector  == X86_XCPT_PF)
+                
+                if (   uIdtVector == X86_XCPT_BP
+                    || uIdtVector == X86_XCPT_OF)
+                {
+                    /* Ignore INT3/INTO, just re-execute. See @bugref{8357}. */
+                }
+                else if (   uExitVector == X86_XCPT_PF
+                         && uIdtVector  == X86_XCPT_PF)
                 {
                     pSvmTransient->fVectoringDoublePF = true;