Changeset 45785 in vbox

Timestamp:

Apr 26, 2013 4:59:47 PM (12 years ago)

Author:

vboxsync

Message:

VMM/HMVMXR0: paranoia and comments.

File:

• trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp (modified) (3 diffs)

trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp

@@ -3387 +3387 @@
         {
             Assert(pVM->hm.s.vmx.pRealModeTSS);
-            if (   pVCpu->hm.s.vmx.fWasInRealMode 
+            AssertCompile(PGMMODE_REAL < PGMMODE_PROTECTED);
+            if (   pVCpu->hm.s.vmx.fWasInRealMode
                 && PGMGetGuestMode(pVCpu) >= PGMMODE_PROTECTED)
             {
-                /* Signal that recompiler must flush its code-cache as the guest -may- rewrite code it will later execute
+                /* Signal that the recompiler must flush its code-cache as the guest -may- rewrite code it will later execute
                    in real-mode (e.g. OpenBSD 4.0) */
                 REMFlushTBs(pVM);
@@ -3494 +3495 @@
         AssertRCReturn(rc, rc);
 
-        Assert(!(pMixedCtx->gdtr.cbGdt & 0xffff0000ULL));      /* Bits 31:16 MBZ. */
+        Assert(!(pMixedCtx->gdtr.cbGdt & 0xffff0000ULL));       /* Bits 31:16 MBZ. */
         Log(("Load: VMX_VMCS_GUEST_GDTR_BASE=%#RX64\n", pMixedCtx->gdtr.pGdt));
         pVCpu->hm.s.fContextUseFlags &= ~HM_CHANGED_GUEST_GDTR;
@@ -3545 +3546 @@
         AssertRCReturn(rc, rc);
 
-        Assert(!(pMixedCtx->idtr.cbIdt & 0xffff0000ULL));      /* Bits 31:16 MBZ. */
+        Assert(!(pMixedCtx->idtr.cbIdt & 0xffff0000ULL));       /* Bits 31:16 MBZ. */
         Log(("Load: VMX_VMCS_GUEST_IDTR_BASE=%#RX64\n", pMixedCtx->idtr.pIdt));
         pVCpu->hm.s.fContextUseFlags &= ~HM_CHANGED_GUEST_IDTR;