Searched refs:idtvec_info (Results 1 – 1 of 1) sorted by relevance
2373 idtvec_info = vmcs_idt_vectoring_info(); in vmx_exit_process()2374 if (idtvec_info & VMCS_IDT_VEC_VALID) { in vmx_exit_process()2376 exitintinfo = idtvec_info; in vmx_exit_process()2377 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) { in vmx_exit_process()2396 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()2437 KASSERT(idtvec_info & VMCS_IDT_VEC_VALID, in vmx_exit_process()2439 idtvec_info)); in vmx_exit_process()2440 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()2447 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) { in vmx_exit_process()2629 if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 && in vmx_exit_process()[all …]