From f7ec9f382aeef0689314a9aaf800766c85a2e66f Mon Sep 17 00:00:00 2001
From: vboxsync <vboxsync@cfe28804-0f27-0410-a406-dd0f0b0b656f>
Date: Thu, 11 May 2023 11:22:56 +0000
Subject: VMM/PGM: Nested VMX: bugref:10318 Ensure we don't modify the leaf bit
 via (ModifyPage).

git-svn-id: https://www.virtualbox.org/svn/vbox/trunk@99748 cfe28804-0f27-0410-a406-dd0f0b0b656f
---
 src/VBox/VMM/VMMAll/PGMAllShw.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/VBox/VMM/VMMAll/PGMAllShw.h b/src/VBox/VMM/VMMAll/PGMAllShw.h
index ec18f3a8592..a7455655ceb 100644
--- a/src/VBox/VMM/VMMAll/PGMAllShw.h
+++ b/src/VBox/VMM/VMMAll/PGMAllShw.h
@@ -728,6 +728,8 @@ PGM_SHW_DECL(int, ModifyPage)(PVMCPUCC pVCpu, RTGCUINTPTR GCPtr, size_t cb, uint
                 }
 
                 SHW_PTE_ATOMIC_SET2(pPT->a[iPTE], NewPte);
+                Assert((SHW_PTE_GET_U(NewPte) & EPT_E_LEAF) == (SHW_PTE_GET_U(OrgPte) & EPT_E_LEAF));
+
 # if PGM_SHW_TYPE == PGM_TYPE_EPT
                 HMInvalidatePhysPage(pVM, (RTGCPHYS)GCPtr);
 # else
-- 
cgit v1.2.1