Searched refs:VMCS_IDT_VEC_VALID (Results 1 – 2 of 2) sorted by relevance
354 #define VMCS_IDT_VEC_VALID (1U << 31) macro
1125 ASSERT(info & VMCS_IDT_VEC_VALID); in vmx_idtvec_to_intinfo()1151 CTASSERT(VMCS_INTR_VALID == VMCS_IDT_VEC_VALID);2226 if (idtvec_info & VMCS_IDT_VEC_VALID) { in vmx_exit_process()2292 KASSERT(idtvec_info & VMCS_IDT_VEC_VALID, in vmx_exit_process()2429 if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 && in vmx_exit_process()2521 if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 && in vmx_exit_process()