Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13181)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13182)
@@ -2058,4 +2058,6 @@
                     Log(("Guest page fault at %VGv cr2=%VGv error code %x rsp=%VGv\n", (RTGCPTR)pCtx->rip, exitQualification, errCode, (RTGCPTR)pCtx->rsp));
 
+                    Assert(CPUMIsGuestInPagedProtectedModeEx(pCtx));
+
                     STAM_COUNTER_INC(&pVM->hwaccm.s.StatExitGuestPF);