Symbol: vmm_get_host_datasel
usr/src/uts/intel/io/vmm/intel/vmx.c
772
datasel = vmm_get_host_datasel();
usr/src/uts/intel/io/vmm/vmm_host.h
69
uint64_t vmm_get_host_datasel(void);