Cross Reference: /vbox/src/VBox/VMM/VMMR0/HMVMXR0.cpp

Lines Matching defs:uIdtVectorType
5812         uint32_t uIdtVectorType = VMX_IDT_VECTORING_INFO_TYPE(pVmxTransient->uIdtVectoringInfo);
5827             if (uIdtVectorType == VMX_IDT_VECTORING_INFO_TYPE_HW_XCPT)
5853             else if (   uIdtVectorType == VMX_IDT_VECTORING_INFO_TYPE_EXT_INT
5854                      || uIdtVectorType == VMX_IDT_VECTORING_INFO_TYPE_NMI)
5869         else if (   uIdtVectorType == VMX_IDT_VECTORING_INFO_TYPE_HW_XCPT
5870                  || uIdtVectorType == VMX_IDT_VECTORING_INFO_TYPE_EXT_INT
5871                  || uIdtVectorType == VMX_IDT_VECTORING_INFO_TYPE_NMI)
5888         if (   uIdtVectorType == VMX_IDT_VECTORING_INFO_TYPE_NMI
5900                 Assert(   uIdtVectorType != VMX_IDT_VECTORING_INFO_TYPE_SW_INT
5901                        && uIdtVectorType != VMX_IDT_VECTORING_INFO_TYPE_SW_XCPT
5902                        && uIdtVectorType != VMX_IDT_VECTORING_INFO_TYPE_PRIV_SW_XCPT);