Changeset 13043 in vbox

Timestamp:

Oct 7, 2008 12:50:25 PM (16 years ago)

Author:

vboxsync

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

37498

Message:

EPT updates

Location:

trunk

Files:

• include/VBox/hwacc_vmx.h (modified) (1 diff)
• src/VBox/VMM/VMMR0/HWVMXR0.cpp (modified) (2 diffs)

trunk/include/VBox/hwacc_vmx.h

@@ -598 +598 @@
 /** @} */
 
+/** @name Extended Page Table Pointer (EPTP)
+ * @{
+ */
+/** Uncachable EPT paging structure memory type. */
+#define VMX_EPT_MEMTYPE_UC                                  0
+/** Write-back EPT paging structure memory type. */
+#define VMX_EPT_MEMTYPE_WB                                  6
+/** Shift value to get the EPT page walk length (bits 5-3) */
+#define VMX_EPT_PAGE_WALK_LENGTH_SHIFT                      3
+/** Mask value to get the EPT page walk length (bits 5-3) */
+#define VMX_EPT_PAGE_WALK_LENGTH_MASK                       7
+/** Default EPT page walk length */
+#define VMX_EPT_PAGE_WALK_LENGTH_DEFAULT                    3
+/** @} */
+
 
 /** @name VMCS field encoding - 16 bits guest fields

trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp

@@ -348 +348 @@
      */
     val  = pVM->hwaccm.s.vmx.msr.vmx_exit.n.disallowed0;
+
+    /* Save debug controls (dr7 & IA32_DEBUGCTL_MSR) (forced to 1 on the 'first' VT-x capable CPUs) */
+    val |= VMX_VMCS_CTRL_EXIT_CONTROLS_SAVE_DEBUG;
 #if HC_ARCH_BITS == 64
     val |= VMX_VMCS_CTRL_EXIT_CONTROLS_HOST_AMD64;
@@ -1122 +1125 @@
         if (pVM->hwaccm.s.fNestedPaging)
         {
+            Assert(!(val & 0xfff));
+            /** @todo Check the IA32_VMX_EPT_VPID_CAP MSR for other supported memory types. */
+            val |=   VMX_EPT_MEMTYPE_WB
+                  | (VMX_EPT_PAGE_WALK_LENGTH_DEFAULT << VMX_EPT_PAGE_WALK_LENGTH_SHIFT);
 #if HC_ARCH_BITS == 64
             rc = VMXWriteVMCS(VMX_VMCS_CTRL_EPTP_FULL, val);