Symbol: VMCS_HOST_IA32_DS_SEL
sys/arch/amd64/amd64/vmm_machdep.c
2712
if (vmwrite(VMCS_HOST_IA32_DS_SEL, GSEL(GDATA_SEL, SEL_KPL))) {
sys/arch/amd64/amd64/vmm_machdep.c
7658
vmx_dump_vmcs_field(VMCS_HOST_IA32_DS_SEL, "H.DS");