Changeset 79635 in vbox

Timestamp:

Jul 9, 2019 8:53:44 AM (6 years ago)

Author:

vboxsync

Message:

hm_vmx.h: Nested VMX: bugref:9180 Add VMX_ENTRY_INT_INFO_IS_XCPT_PF for upcoming changes.

File:

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

trunk/include/VBox/vmm/hm_vmx.h

@@ -2560 +2560 @@
 #define VMX_ENTRY_INT_INFO_FROM_EXIT_IDT_INFO(a)                ((a) & ~RT_BIT(12))
 
+/** If the VM-entry interruption information field indicates a page-fault. */
+#define VMX_ENTRY_INT_INFO_IS_XCPT_PF(a)                        (((a) & (  VMX_BF_ENTRY_INT_INFO_VALID_MASK   \
+                                                                         | VMX_BF_ENTRY_INT_INFO_TYPE_MASK     \
+                                                                         | VMX_BF_ENTRY_INT_INFO_VECTOR_MASK)) \
+                                                                     == (  RT_BF_MAKE(VMX_BF_ENTRY_INT_INFO_VALID,  1) \
+                                                                         | RT_BF_MAKE(VMX_BF_ENTRY_INT_INFO_TYPE,   VMX_ENTRY_INT_INFO_TYPE_HW_XCPT) \
+                                                                         | RT_BF_MAKE(VMX_BF_ENTRY_INT_INFO_VECTOR, X86_XCPT_PF)))
+
+
 /** Bit fields for VM-entry interruption information. */
 /** The VM-entry interruption vector. */
@@ -2723 +2732 @@
 #define VMX_IDT_VECTORING_INFO_FROM_ENTRY_INT_INFO(a)           ((a) & ~RT_BIT(12))
 
-/** If the IDT-vectoring information field indicates a page-fault (does not check
- *  the valid bit!). */
+/** If the IDT-vectoring information field indicates a page-fault. */
 #define VMX_IDT_VECTORING_INFO_IS_XCPT_PF(a)                    (((a) & (  VMX_BF_IDT_VECTORING_INFO_VALID_MASK   \
                                                                          | VMX_BF_IDT_VECTORING_INFO_TYPE_MASK     \