Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 23942)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 23943)
@@ -3194,4 +3194,5 @@
 
 #ifdef VBOX_STRICT
+            case X86_XCPT_XF:   /* SIMD exception. */
             case X86_XCPT_DE:   /* Divide error. */
             case X86_XCPT_UD:   /* Unknown opcode exception. */
@@ -4155,5 +4156,5 @@
         descriptor[1] = GCPtr;
         int rc = VMXR0InvVPID(enmFlush, &descriptor[0]);
-        AssertRC(rc);
+        AssertMsg(rc == VINF_SUCCESS, ("VMXR0InvVPID %x %x %VGv failed with %rc\n", enmFlush, pVCpu->hwaccm.s.uCurrentASID, GCPtr, rc));
     }
 }