Searched refs:VMCS_INTR_VALID (Results 1 – 2 of 2) sorted by relevance
1399 KASSERT((info & VMCS_INTR_VALID) == 0, ("vmx_inject_nmi: invalid " in vmx_inject_nmi()1406 info = IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID; in vmx_inject_nmi()1435 KASSERT((entryinfo & VMCS_INTR_VALID) != 0, ("%s: entry " in vmx_inject_interrupts()1439 KASSERT((info & VMCS_INTR_VALID) == 0, ("%s: cannot inject " in vmx_inject_interrupts()1475 if ((info & VMCS_INTR_VALID) == 0) { in vmx_inject_interrupts()1552 if (info & VMCS_INTR_VALID) { in vmx_inject_interrupts()1566 info = VMCS_INTR_T_HWINTR | VMCS_INTR_VALID; in vmx_inject_interrupts()2562 if (!(intr_info & VMCS_INTR_VALID)) in vmx_exit_process()2564 KASSERT((intr_info & VMCS_INTR_VALID) != 0 && in vmx_exit_process()2614 KASSERT((intr_info & VMCS_INTR_VALID) != 0, in vmx_exit_process()[all …]
372 #define VMCS_INTR_VALID (1U << 31) macro