Searched refs:idtvec_info (Results 1 – 1 of 1) sorted by relevance
2069 uint32_t eax, ecx, edx, idtvec_info, idtvec_err, intr_info, inst_info; in vmx_exit_process() local2106 idtvec_info = vmcs_idt_vectoring_info(); in vmx_exit_process()2107 if (idtvec_info & VMCS_IDT_VEC_VALID) { in vmx_exit_process()2108 idtvec_info &= ~(1 << 12); /* clear undefined bit */ in vmx_exit_process()2109 exitintinfo = idtvec_info; in vmx_exit_process()2110 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) { in vmx_exit_process()2129 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()2170 KASSERT(idtvec_info & VMCS_IDT_VEC_VALID, in vmx_exit_process()2172 idtvec_info)); in vmx_exit_process()2173 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()[all …]