Lines Matching defs:intr_info
2378 uint32_t eax, ecx, edx, idtvec_info, idtvec_err, intr_info, inst_info;
2603 intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
2605 vmx, vcpuid, vmexit, intr_info);
2611 if (!(intr_info & VMCS_INTR_VALID))
2613 KASSERT((intr_info & VMCS_INTR_VALID) != 0 &&
2614 (intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_HWINTR,
2615 ("VM exit interruption info invalid: %#x", intr_info));
2616 vmx_trigger_hostintr(intr_info & 0xff);
2662 intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
2663 KASSERT((intr_info & VMCS_INTR_VALID) != 0,
2664 ("VM exit interruption info invalid: %#x", intr_info));
2666 intr_vec = intr_info & 0xff;
2667 intr_type = intr_info & VMCS_INTR_T_MASK;
2680 (intr_info & EXIT_QUAL_NMIUDTI) != 0)
2728 if (intr_info & VMCS_INTR_DEL_ERRCODE) {
2913 uint32_t intr_info;
2920 intr_info = vmcs_read(VMCS_EXIT_INTR_INFO);
2921 KASSERT((intr_info & VMCS_INTR_VALID) != 0,
2922 ("VM exit interruption info invalid: %#x", intr_info));
2924 if ((intr_info & VMCS_INTR_T_MASK) == VMCS_INTR_T_NMI) {
2925 KASSERT((intr_info & 0xff) == IDT_NMI, ("VM exit due "
2926 "to NMI has invalid vector: %#x", intr_info));