Symbol: vmcs_seg_desc_encoding
usr/src/uts/intel/io/vmm/intel/vmcs.h
59
void vmcs_seg_desc_encoding(int seg, uint32_t *base, uint32_t *lim,
usr/src/uts/intel/io/vmm/intel/vmx.c
3227
vmcs_seg_desc_encoding(seg, &base, &limit, &access);
usr/src/uts/intel/io/vmm/intel/vmx.c
3250
vmcs_seg_desc_encoding(seg, &base, &limit, &access);