Changeset 10154

Timestamp:

07/03/08 15:46:05 (2 months ago)

Author:

vboxsync

Message:

Documented the issue wrt to CS RPL and conforming segment in CPUMGetGuestCPL.

Files:

• trunk/src/VBox/VMM/VMMAll/CPUMAllRegs.cpp (modified) (2 diffs)

trunk/src/VBox/VMM/VMMAll/CPUMAllRegs.cpp

@@ -1818 +1818 @@
-    uint32_t cpl;
-
+    /*
+     * The hidden CS.DPL register is always equal to the CPL, it is
+     * not affected by loading a conforming coding segment.
+     */
-    if (CPUMAreHiddenSelRegsValid(pVM))
-        cpl = pCtxCore->csHid.Attr.n.u2Dpl;
@@ -1824 +1828 @@
-        if (RT_LIKELY(!pCtxCore->eflags.Bits.u1VM))
-        {
+            /*
+             * The SS RPL is always equal to the CPL, while the CS RPL
+             * isn't necessarily equal if the segment is conforming.
+             * See section 4.11.1 in the AMD manual.
+             */
-            cpl = (pCtxCore->ss & X86_SEL_RPL);
-#ifndef IN_RING0