Symbol: VMCS_IDT_VECTORING_ERROR
usr/src/uts/intel/io/vmm/intel/vmx.c
2229
errcode = vmcs_read(VMCS_IDT_VECTORING_ERROR);
usr/src/uts/intel/io/vmm/intel/vmx.c
2305
vmcs_read(VMCS_IDT_VECTORING_ERROR);