Index: /trunk/include/VBox/vmm/hm_vmx.h
===================================================================
--- /trunk/include/VBox/vmm/hm_vmx.h	(revision 79634)
+++ /trunk/include/VBox/vmm/hm_vmx.h	(revision 79635)
@@ -2560,4 +2560,13 @@
 #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,6 +2732,5 @@
 #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     \