Symbol: VMCS_IDT_VEC_VALID
usr/src/uts/intel/io/vmm/intel/vmx.c
1125
ASSERT(info & VMCS_IDT_VEC_VALID);
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
2226
if (idtvec_info & VMCS_IDT_VEC_VALID) {
usr/src/uts/intel/io/vmm/intel/vmx.c
2292
KASSERT(idtvec_info & VMCS_IDT_VEC_VALID,
usr/src/uts/intel/io/vmm/intel/vmx.c
2429
if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 &&
usr/src/uts/intel/io/vmm/intel/vmx.c
2521
if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 &&