Changeset 93159 in vbox for trunk/src/VBox/VMM/VMMAll

Timestamp:

Jan 10, 2022 7:58:36 AM (3 years ago)

Author:

vboxsync

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

149173

Message:

VMM: Nested VMX: bugref:10092 Assertion to ensure Walk effective attributes are sane on success.

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllBth.h (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/PGMAllBth.h

@@ -436 +436 @@
     /*AssertMsg(GstWalk.Core.fBigPage || GstWalk.Pte.u == GstWalk.pPte->u, ("%RX64 %RX64\n", (uint64_t)GstWalk.Pte.u, (uint64_t)GstWalk.pPte->u)); - ditto */
     Assert(Walk.fSucceeded);
+    Assert(Walk.fEffective & PGM_PTATTRS_R_MASK);
 
     if (uErr & (X86_TRAP_PF_RW | X86_TRAP_PF_US | X86_TRAP_PF_ID))