Lines Matching refs:idtvec_info
2389 uint32_t eax, ecx, edx, idtvec_info, idtvec_err, intr_info, inst_info; in vmx_exit_process() local
2433 idtvec_info = vmcs_idt_vectoring_info(); in vmx_exit_process()
2434 if (idtvec_info & VMCS_IDT_VEC_VALID) { in vmx_exit_process()
2435 idtvec_info &= ~(1 << 12); /* clear undefined bit */ in vmx_exit_process()
2436 exitintinfo = idtvec_info; in vmx_exit_process()
2437 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) { in vmx_exit_process()
2456 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()
2497 KASSERT(idtvec_info & VMCS_IDT_VEC_VALID, in vmx_exit_process()
2499 idtvec_info)); in vmx_exit_process()
2500 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()
2507 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) { in vmx_exit_process()
2691 if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 && in vmx_exit_process()
2785 if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 && in vmx_exit_process()