Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13168)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13169)
@@ -2290,4 +2290,6 @@
 #endif
 
+        Assert(((exitQualification >> 7) & 3) != 2);
+
         /* Determine the kind of violation. */
         errCode = 0;
@@ -2736,4 +2738,5 @@
     case VMX_EXIT_EXCEPTION:            /* 0 Exception or non-maskable interrupt (NMI). */
     case VMX_EXIT_EXTERNAL_IRQ:         /* 1 External interrupt. */
+    case VMX_EXIT_EPT_VIOLATION:
         /* Already handled above. */
         break;