Changeset 46004 in vbox for trunk/include

Timestamp:

May 13, 2013 9:20:43 AM (12 years ago)

Author:

vboxsync

Message:

VMM/HMVMXR0: DR7 is 32-bit in reality, upper bits are reserved MBZ, so avoid complicated guest-natural width writes and going through the VMCS cache unnecessarily.

File:

• trunk/include/VBox/vmm/hm_vmx.h (modified) (1 diff)

trunk/include/VBox/vmm/hm_vmx.h

@@ -51 +51 @@
 # define VMX_VMCS_GUEST_GDTR_BASE_CACHE_IDX                                   8
 # define VMX_VMCS_GUEST_IDTR_BASE_CACHE_IDX                                   9
-# define VMX_VMCS_GUEST_DR7_CACHE_IDX                                         10
-# define VMX_VMCS_GUEST_RSP_CACHE_IDX                                         11
-# define VMX_VMCS_GUEST_RIP_CACHE_IDX                                         12
-# define VMX_VMCS_GUEST_SYSENTER_ESP_CACHE_IDX                                13
-# define VMX_VMCS_GUEST_SYSENTER_EIP_CACHE_IDX                                14
-# define VMX_VMCS_RO_EXIT_QUALIFICATION_CACHE_IDX                             15
+# define VMX_VMCS_GUEST_RSP_CACHE_IDX                                         10
+# define VMX_VMCS_GUEST_RIP_CACHE_IDX                                         11
+# define VMX_VMCS_GUEST_SYSENTER_ESP_CACHE_IDX                                12
+# define VMX_VMCS_GUEST_SYSENTER_EIP_CACHE_IDX                                13
+# define VMX_VMCS_RO_EXIT_QUALIFICATION_CACHE_IDX                             14
 # define VMX_VMCS_MAX_CACHE_IDX                                               (VMX_VMCS_RO_EXIT_QUALIFICATION_CACHE_IDX + 1)
-# define VMX_VMCS_GUEST_CR3_CACHE_IDX                                         16
+# define VMX_VMCS_GUEST_CR3_CACHE_IDX                                         15
 # define VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX                                 (VMX_VMCS_GUEST_CR3_CACHE_IDX + 1)
 #else /* VBOX_WITH_OLD_VTX_CODE */