Changeset 9658 in vbox for trunk/src/VBox/VMM/VMMR0

Timestamp:

Jun 12, 2008 12:33:17 PM (17 years ago)

Author:

vboxsync

Message:

Renamed SELMIsSelector32Bit to SELMGetSelectorType.

File:

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

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

@@ -1876 +1876 @@
 static int SVMR0InterpretInvpg(PVM pVM, PCPUMCTXCORE pRegFrame, uint32_t uASID)
 {
+    Assert(!CPUMIsGuestInLongMode(pVM));    /** @todo */
     /*
      * Only allow 32-bit code.
      */
-    if (SELMIsSelector32Bit(pVM, pRegFrame->eflags, pRegFrame->cs, &pRegFrame->csHid))
+    if (SELMGetSelectorType(pVM, pRegFrame->eflags, pRegFrame->cs, &pRegFrame->csHid) == CPUMODE_16BIT)
     {
         RTGCPTR pbCode;
@@ -1952 +1953 @@
     Assert(pVM->hwaccm.s.fNestedPaging);
 
+    Assert(!CPUMIsGuestInLongMode(pVM));    /** @todo */
+
     /* Skip it if a TLB flush is already pending. */
     if (!fFlushPending)
@@ -1972 +1975 @@
         * Only allow 32-bit code.
         */
-        if (SELMIsSelector32Bit(pVM, pCtx->eflags, pCtx->cs, &pCtx->csHid))
+        if (SELMGetSelectorType(pVM, pCtx->eflags, pCtx->cs, &pCtx->csHid))
         {
             RTGCPTR pbCode;