sys/amd64/vmm/intel/vmx.c

1447

KASSERT((info & VMCS_INTR_VALID) == 0, ("vmx_inject_nmi: invalid "

sys/amd64/vmm/intel/vmx.c

1454

info = IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID;

sys/amd64/vmm/intel/vmx.c

1487

KASSERT((entryinfo & VMCS_INTR_VALID) != 0, ("%s: entry "

sys/amd64/vmm/intel/vmx.c

1491

KASSERT((info & VMCS_INTR_VALID) == 0, ("%s: cannot inject "

sys/amd64/vmm/intel/vmx.c

1527

if ((info & VMCS_INTR_VALID) == 0) {

sys/amd64/vmm/intel/vmx.c

1604

if (info & VMCS_INTR_VALID) {

sys/amd64/vmm/intel/vmx.c

1618

info = VMCS_INTR_T_HWINTR | VMCS_INTR_VALID;

sys/amd64/vmm/intel/vmx.c

2622

if (!(intr_info & VMCS_INTR_VALID))

sys/amd64/vmm/intel/vmx.c

2624

KASSERT((intr_info & VMCS_INTR_VALID) != 0 &&

sys/amd64/vmm/intel/vmx.c

2676

KASSERT((intr_info & VMCS_INTR_VALID) != 0,

sys/amd64/vmm/intel/vmx.c

2934

KASSERT((intr_info & VMCS_INTR_VALID) != 0,