Changeset 91967 in vbox for trunk/src

Timestamp:

Oct 21, 2021 3:45:02 PM (3 years ago)

Author:

vboxsync

Message:

VMM: Nested VMX: bugref:10092 Bitfield assertions.

File:

• trunk/src/VBox/VMM/include/PGMInternal.h (modified) (2 diffs)

trunk/src/VBox/VMM/include/PGMInternal.h

@@ -2422 +2422 @@
 #define PGM_BF_PTWALK_EFF_RSVD_31_23_SHIFT          23
 #define PGM_BF_PTWALK_EFF_RSVD_31_23_MASK           UINT32_C(0xff800000)
+
+/** The bit count where the EPT specific bits begin. */
+#define PGMPTWALK_EFF_EPT_ATTR_SHIFT                PGM_BF_PTWALK_EFF_R_SHIFT
+
 RT_BF_ASSERT_COMPILE_CHECKS(PGM_BF_PTWALK_EFF_, UINT32_C(0), UINT32_MAX,
                             (X, RW, US, PWT, PCD, A, D, PAT, G, RSVD_11_9, R, W, X_SUPER, RSVD_21_15, X_USER, RSVD_31_23));
@@ -2440 +2444 @@
 AssertCompile(PGM_BF_PTWALK_EFF_PAT_MASK == X86_PTE_PAT);
 AssertCompile(PGM_BF_PTWALK_EFF_G_MASK   == X86_PTE_G);
+AssertCompile(PGM_BF_PTWALK_EFF_R_SHIFT       - PGMPTWALK_EFF_EPT_ATTR_SHIFT == EPT_E_BIT_READ);
+AssertCompile(PGM_BF_PTWALK_EFF_W_SHIFT       - PGMPTWALK_EFF_EPT_ATTR_SHIFT == EPT_E_BIT_WRITE);
+AssertCompile(PGM_BF_PTWALK_EFF_X_SUPER_SHIFT - PGMPTWALK_EFF_EPT_ATTR_SHIFT == EPT_E_BIT_EXECUTE);
+AssertCompile(PGM_BF_PTWALK_EFF_X_USER_SHIFT  - PGMPTWALK_EFF_EPT_ATTR_SHIFT == EPT_E_BIT_USER_EXECUTE);
 /** @} */