Changeset 44743 in vbox

Timestamp:

Feb 18, 2013 5:42:38 PM (12 years ago)

Author:

vboxsync

Message:

VMM/VMMR0: HM bits.

File:

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

trunk/include/VBox/vmm/hm_vmx.h

@@ -1002 +1002 @@
  */
 #define VMX_EXIT_REASON_BASIC(a)                                  (a & 0xffff)
-#define VMX_EXIT_REASON_VMENTRY_FAILED(a)                         (a & RT_BIT(31))
-/** @} */
+/** @} */
+
+/** @name VMX_VMCS32_CTRL_ENTRY_INTERRUPTION_INFO
+ * @{
+ */
+#define VMX_ENTRY_INTERRUPTION_INFO_VALID(a)                      (a & RT_BIT(31))
+/** @} */
+
 
 /** @name VMX_VMCS32_RO_EXIT_INTERRUPTION_INFO
@@ -1023 +1029 @@
  * @{
  */
-#define VMX_EXIT_INTERRUPTION_INFO_TYPE_EXT_INT         0
-#define VMX_EXIT_INTERRUPTION_INFO_TYPE_NMI             2
-#define VMX_EXIT_INTERRUPTION_INFO_TYPE_HW_XCPT         3
-#define VMX_EXIT_INTERRUPTION_INFO_TYPE_SW_INT          4 /**< int xx */
-#define VMX_EXIT_INTERRUPTION_INFO_TYPE_DB_XCPT         5 /**< Why are we getting this one?? */
-#define VMX_EXIT_INTERRUPTION_INFO_TYPE_SW_XCPT         6
+#define VMX_EXIT_INTERRUPTION_INFO_TYPE_EXT_INT                   0
+#define VMX_EXIT_INTERRUPTION_INFO_TYPE_NMI                       2
+#define VMX_EXIT_INTERRUPTION_INFO_TYPE_HW_XCPT                   3
+#define VMX_EXIT_INTERRUPTION_INFO_TYPE_SW_INT                    4 /**< int xx */
+#define VMX_EXIT_INTERRUPTION_INFO_TYPE_DB_XCPT                   5 /**< Why are we getting this one?? */
+#define VMX_EXIT_INTERRUPTION_INFO_TYPE_SW_XCPT                   6
 /** @} */
 
@@ -1039 +1045 @@
 #define VMX_IDT_VECTORING_INFO_ERROR_CODE_VALID                   RT_BIT(11)
 #define VMX_IDT_VECTORING_INFO_ERROR_CODE_IS_VALID(a)             (a & VMX_IDT_VECTORING_INFO_ERROR_CODE_VALID)
+#define VMX_IDT_VECTORING_INFO_VALID(a)                           (a & RT_BIT(31))
+#define VMX_ENTRY_INTR_INFO_FROM_EXIT_IDT_INFO(a)                 (a & ~RT_BIT(12))
 /** @} */
 
@@ -1044 +1052 @@
  * @{
  */
-#define VMX_IDT_VECTORING_INFO_TYPE_EXT_INT         0
-#define VMX_IDT_VECTORING_INFO_TYPE_NMI             2
-#define VMX_IDT_VECTORING_INFO_TYPE_HW_XCPT         3
-#define VMX_IDT_VECTORING_INFO_TYPE_SW_INT          4
-#define VMX_IDT_VECTORING_INFO_TYPE_PRIV_SW_XCPT    5
-#define VMX_IDT_VECTORING_INFO_TYPE_SW_XCPT         6
+#define VMX_IDT_VECTORING_INFO_TYPE_EXT_INT                       0
+#define VMX_IDT_VECTORING_INFO_TYPE_NMI                           2
+#define VMX_IDT_VECTORING_INFO_TYPE_HW_XCPT                       3
+#define VMX_IDT_VECTORING_INFO_TYPE_SW_INT                        4
+#define VMX_IDT_VECTORING_INFO_TYPE_PRIV_SW_XCPT                  5
+#define VMX_IDT_VECTORING_INFO_TYPE_SW_XCPT                       6
 /** @} */