Symbol: vmm_get_host_codesel
usr/src/uts/intel/io/vmm/intel/vmx.c
798
vmcs_write(VMCS_HOST_CS_SELECTOR, vmm_get_host_codesel());
usr/src/uts/intel/io/vmm/vmm_host.h
70
uint64_t vmm_get_host_codesel(void);