Lines Matching refs:idtvec_info
2319 uint32_t eax, ecx, edx, idtvec_info, idtvec_err, intr_info, inst_info;
2357 idtvec_info = vmcs_idt_vectoring_info();
2358 if (idtvec_info & VMCS_IDT_VEC_VALID) {
2359 idtvec_info &= ~(1 << 12); /* clear undefined bit */
2360 exitintinfo = idtvec_info;
2361 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) {
2380 intr_type = idtvec_info & VMCS_INTR_T_MASK;
2421 KASSERT(idtvec_info & VMCS_IDT_VEC_VALID,
2422 ("invalid idtvec_info %#x for IDT task switch",
2423 idtvec_info));
2424 intr_type = idtvec_info & VMCS_INTR_T_MASK;
2431 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) {
2613 if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 &&
2707 if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 &&