Lines Matching refs:VMCS_INTR_VALID
1447 KASSERT((info & VMCS_INTR_VALID) == 0, ("vmx_inject_nmi: invalid " in vmx_inject_nmi()
1454 info = IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID; in vmx_inject_nmi()
1487 KASSERT((entryinfo & VMCS_INTR_VALID) != 0, ("%s: entry " in vmx_inject_interrupts()
1491 KASSERT((info & VMCS_INTR_VALID) == 0, ("%s: cannot inject " in vmx_inject_interrupts()
1527 if ((info & VMCS_INTR_VALID) == 0) { in vmx_inject_interrupts()
1604 if (info & VMCS_INTR_VALID) { in vmx_inject_interrupts()
1618 info = VMCS_INTR_T_HWINTR | VMCS_INTR_VALID; in vmx_inject_interrupts()
2622 if (!(intr_info & VMCS_INTR_VALID)) in vmx_exit_process()
2624 KASSERT((intr_info & VMCS_INTR_VALID) != 0 && in vmx_exit_process()
2676 KASSERT((intr_info & VMCS_INTR_VALID) != 0, in vmx_exit_process()
2934 KASSERT((intr_info & VMCS_INTR_VALID) != 0, in vmx_exit_handle_nmi()