Searched refs:VMCS_INTR_VALID (Results 1 – 2 of 2) sorted by relevance
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()2674 KASSERT((intr_info & VMCS_INTR_VALID) != 0, in vmx_exit_process()[all …]
370 #define VMCS_INTR_VALID (1U << 31) macro