usr/src/uts/intel/io/vmm/intel/vmx.c

1151

CTASSERT(VMCS_INTR_VALID == VMCS_IDT_VEC_VALID);

usr/src/uts/intel/io/vmm/intel/vmx.c

1162

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

usr/src/uts/intel/io/vmm/intel/vmx.c

1218

ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID);

usr/src/uts/intel/io/vmm/intel/vmx.c

1225

IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID);

usr/src/uts/intel/io/vmm/intel/vmx.c

1263

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

usr/src/uts/intel/io/vmm/intel/vmx.c

1319

VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector);

usr/src/uts/intel/io/vmm/intel/vmx.c

1381

ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID);

usr/src/uts/intel/io/vmm/intel/vmx.c

1391

VMCS_INTR_T_HWINTR | VMCS_INTR_VALID | vector);

usr/src/uts/intel/io/vmm/intel/vmx.c

2373

if (!(intr_info & VMCS_INTR_VALID))

usr/src/uts/intel/io/vmm/intel/vmx.c

2375

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

usr/src/uts/intel/io/vmm/intel/vmx.c

2414

KASSERT((intr_info & VMCS_INTR_VALID) != 0,

usr/src/uts/intel/io/vmm/intel/vmx.c

2668

ASSERT(intr_info & VMCS_INTR_VALID);