Searched refs:idtvec_info (Results 1 – 1 of 1) sorted by relevance
2389 uint32_t eax, ecx, edx, idtvec_info, idtvec_err, intr_info, inst_info; in vmx_exit_process() local2433 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()[all …]