Changeset 96879 in vbox for trunk/src/VBox/VMM/include

Timestamp:

Sep 26, 2022 5:43:43 PM (3 years ago)

Author:

vboxsync

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

153786

Message:

VMM/PGM: Nested VMX: bugref:10092 Nested EPT shadow page-pool handling.

File:

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

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

@@ -1927 +1927 @@
     PGMPOOLKIND_ROOT_NESTED,
 
+    /** Shw: EPT page table;                        Gst: EPT page table. */
+    PGMPOOLKIND_EPT_PT_FOR_EPT_PT,
+    /** Shw: EPT page directory table;              Gst: EPT page directory. */
+    PGMPOOLKIND_EPT_PD_FOR_EPT_PD,
+    /** Shw: EPT page directory pointer table;      Gst: EPT page directory pointer table. */
+    PGMPOOLKIND_EPT_PDPT_FOR_EPT_PDPT,
+    /** Shw: EPT PML4;                              Gst: EPT PML4. */
+    PGMPOOLKIND_EPT_PML4_FOR_EPT_PML4,
+
     /** The last valid entry. */
-    PGMPOOLKIND_LAST = PGMPOOLKIND_ROOT_NESTED
+    PGMPOOLKIND_LAST = PGMPOOLKIND_EPT_PML4_FOR_EPT_PML4
 } PGMPOOLKIND;
 
@@ -2308 +2317 @@
 #define PGMPOOL_PAGE_2_PTR_V2(a_pVM, a_pVCpu, a_pPage)     PGMPOOL_PAGE_2_PTR((a_pVM), (a_pPage))
 
+
+/** @def PGMPOOL_PAGE_IS_NESTED
+ * Checks whether the given pool page is a nested-guest pool page.
+ *
+ * @returns @c true if a nested-guest pool page, @c false otherwise.
+ * @param   a_pPage     The pool page.
+ * @todo    We can optimize the conditionals later.
+ */
+#define PGMPOOL_PAGE_IS_NESTED(a_pPage)         PGMPOOL_PAGE_IS_KIND_NESTED((a_pPage)->enmKind)
+#define PGMPOOL_PAGE_IS_KIND_NESTED(a_enmKind)  (   (a_enmKind) == PGMPOOLKIND_EPT_PT_FOR_EPT_PT     \
+                                                 || (a_enmKind) == PGMPOOLKIND_EPT_PD_FOR_EPT_PD     \
+                                                 || (a_enmKind) == PGMPOOLKIND_EPT_PDPT_FOR_EPT_PDPT \
+                                                 || (a_enmKind) == PGMPOOLKIND_EPT_PML4_FOR_EPT_PML4)
 
 /** @name Per guest page tracking data.