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);