diff options
| author | vboxsync <vboxsync@cfe28804-0f27-0410-a406-dd0f0b0b656f> | 2023-05-11 11:22:56 +0000 |
|---|---|---|
| committer | vboxsync <vboxsync@cfe28804-0f27-0410-a406-dd0f0b0b656f> | 2023-05-11 11:22:56 +0000 |
| commit | f7ec9f382aeef0689314a9aaf800766c85a2e66f (patch) | |
| tree | 4e380a8726067df9491fe060b90bf812c6d5c2f4 | |
| parent | e9b39a2e0eb3dc21d1f7390bfeaa995d895cefe0 (diff) | |
| download | VirtualBox-svn-f7ec9f382aeef0689314a9aaf800766c85a2e66f.tar.gz | |
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
| -rw-r--r-- | src/VBox/VMM/VMMAll/PGMAllShw.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 |