Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 15980)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 15981)
@@ -1212,11 +1212,11 @@
                     &&  enmGuestMode == PGMMODE_REAL)
                 {
-                    /* The limit must also be adjusted. */
-                    pCtx->csHid.u32Limit &= 0xffff;
-                    pCtx->dsHid.u32Limit &= 0xffff;
-                    pCtx->esHid.u32Limit &= 0xffff;
-                    pCtx->fsHid.u32Limit &= 0xffff;
-                    pCtx->gsHid.u32Limit &= 0xffff;
-                    pCtx->ssHid.u32Limit &= 0xffff;
+                    /* The limit must also be set to 0xffff. */
+                    pCtx->csHid.u32Limit = 0xffff;
+                    pCtx->dsHid.u32Limit = 0xffff;
+                    pCtx->esHid.u32Limit = 0xffff;
+                    pCtx->fsHid.u32Limit = 0xffff;
+                    pCtx->gsHid.u32Limit = 0xffff;
+                    pCtx->ssHid.u32Limit = 0xffff;
 
                     Assert(pCtx->csHid.u64Base <= 0xfffff);