Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13172)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 13173)
@@ -917,4 +917,5 @@
                 pCtx->ssHid.u32Limit &= 0xffff;
 
+                Assert(pCtx->csHid.u64Base <= 0xfffff);
                 Assert(pCtx->dsHid.u64Base <= 0xfffff);
                 Assert(pCtx->esHid.u64Base <= 0xfffff);
@@ -2304,5 +2305,5 @@
             errCode |= X86_TRAP_PF_P;
 
-        Log2(("EPT Page fault %x at %VGp error code %x\n", (uint32_t)exitQualification, GCPhys, errCode));
+        Log(("EPT Page fault %x at %VGp error code %x\n", (uint32_t)exitQualification, GCPhys, errCode));
 
         /* GCPhys contains the guest physical address of the page fault. */
@@ -2988,4 +2989,5 @@
     uint64_t descriptor[2];
 
+    LogFlow(("VMXR0FlushEPT %d %VGv\n", enmFlush, GCPhys));
     Assert(pVM->hwaccm.s.fNestedPaging);
     descriptor[0] = pVM->hwaccm.s.vmx.GCPhysEPTP;