Symbol: VMCS_HOST_IA32_ES_SEL
sys/arch/amd64/amd64/vmm_machdep.c
2718
if (vmwrite(VMCS_HOST_IA32_ES_SEL, GSEL(GDATA_SEL, SEL_KPL))) {
sys/arch/amd64/amd64/vmm_machdep.c
7654
vmx_dump_vmcs_field(VMCS_HOST_IA32_ES_SEL, "H.ES");