Changeset 48649 in vbox for trunk/include/VBox/vmm

Timestamp:

Sep 24, 2013 9:05:56 AM (12 years ago)

Author:

vboxsync

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

89247

Message:

VMM/HMVMXR0: VMCS size is bits 44:32 not 43:32. Assert what the Intel spec. claims as well.

File:

• trunk/include/VBox/vmm/hm_vmx.h (modified) (2 diffs)

trunk/include/VBox/vmm/hm_vmx.h

@@ -115 +115 @@
  *  for storing guest MSRs. */
 #define VMX_UFC_INSUFFICIENT_GUEST_MSR_STORAGE                  6
+/** Invalid VMCS size. */
+#define VMX_UFC_INVALID_VMCS_SIZE                               7
 /** @} */
 
@@ -1079 +1081 @@
 #define MSR_IA32_VMX_BASIC_INFO_VMCS_ID(a)                      ((a) & 0x7FFFFFFF)
 /** Size of the VMCS. */
-#define MSR_IA32_VMX_BASIC_INFO_VMCS_SIZE(a)                    (((a) >> 32) & 0xFFF)
+#define MSR_IA32_VMX_BASIC_INFO_VMCS_SIZE(a)                    (((a) >> 32) & 0x1FFF)
 /** Width of physical address used for the VMCS.
  *  0 -> limited to the available amount of physical ram