Symbol: vmx_idtvec_to_intinfo
usr/src/uts/intel/io/vmm/intel/vmx.c
1170
vmx_idtvec_to_intinfo(info, errcode)));
usr/src/uts/intel/io/vmm/intel/vmx.c
2234
vmx_idtvec_to_intinfo(idtvec_info, errcode)));