Symbol: vmm_get_host_codesel
sys/amd64/vmm/intel/vmcs.c
347
codesel = vmm_get_host_codesel();
sys/amd64/vmm/vmm_host.h
52
uint64_t vmm_get_host_codesel(void);