Changeset 96738 in vbox

Timestamp:

Sep 14, 2022 12:08:30 PM (2 years ago)

Author:

vboxsync

Message:

VMM/PGM: Nested VMX: bugref:10092 Comment out currently unused functions pgmGstGetEptPML4EPtr and pgmGstGetEptPML4Ptr - will remove later if not needed.

File:

• trunk/src/VBox/VMM/include/PGMInline.h (modified) (5 diffs)

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

@@ -740 +740 @@
 
 #ifdef VBOX_WITH_NESTED_HWVIRT_VMX_EPT
+# if 0
 /**
  * Gets the pointer to a page map level-4 entry when the guest using EPT paging.
@@ -760 +761 @@
     return &pEptPml4->a[iPml4];
 }
+# endif
 
 
@@ -772 +774 @@
 DECLINLINE(int) pgmGstGetEptPML4PtrEx(PVMCPUCC pVCpu, PEPTPML4 *ppEptPml4)
 {
+    /* Shadow CR3 might not have been mapped at this point, see PGMHCChangeMode. */
     *ppEptPml4 = pVCpu->pgm.s.CTX_SUFF(pGstEptPml4);
-    if (RT_UNLIKELY(!*ppEptPml4))
+    if (!*ppEptPml4)
         return pgmGstLazyMapEptPml4(pVCpu, ppEptPml4);
     return VINF_SUCCESS;
@@ -779 +782 @@
 
 
+# if 0
 /**
  * Gets the page map level-4 pointer for the guest when the guest is using EPT
@@ -793 +797 @@
     return pEptPml4;
 }
+# endif
 #endif /* VBOX_WITH_NESTED_HWVIRT_VMX_EPT */