Changeset 95173 in vbox for trunk

Timestamp:

Jun 2, 2022 2:45:19 PM (3 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

151671

Message:

VMM: Nested VMX: bugref:10092 Guest SLAT walk nits.

File:

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

trunk/src/VBox/VMM/VMMAll/PGMAllGstSlatEpt.cpp.h

@@ -131 +131 @@
      */
     Assert(!pVCpu->CTX_SUFF(pVM)->cpum.ro.GuestFeatures.fVmxModeBasedExecuteEpt);
-    uint64_t const fCumulativeEpt = PGM_PTATTRS_EPT_R_MASK
-                                  | PGM_PTATTRS_EPT_W_MASK
-                                  | PGM_PTATTRS_EPT_X_SUPER_MASK;
-    Assert(!(fCumulativeEpt & ~PGM_PTATTRS_EPT_MASK));
+    uint64_t const fCumulativeEpt = (  PGM_PTATTRS_EPT_R_MASK
+                                     | PGM_PTATTRS_EPT_W_MASK
+                                     | PGM_PTATTRS_EPT_X_SUPER_MASK) & PGM_PTATTRS_EPT_MASK;
 
     /*
@@ -171 +170 @@
         else return PGM_GST_SLAT_NAME_EPT(WalkReturnRsvdError)(pVCpu, pWalk, 4);
 
-        Assert(!pVCpu->CTX_SUFF(pVM)->cpum.ro.GuestFeatures.fVmxModeBasedExecuteEpt);
         uint64_t const fEptAttrs     = Pml4e.u & EPT_PML4E_ATTR_MASK;
         uint8_t const fRead          = RT_BF_GET(fEptAttrs, VMX_BF_EPT_PT_READ);