Symbol: VMCS_GUEST_IA32_ES_BASE
sys/arch/amd64/amd64/vmm_machdep.c
217
VMCS_GUEST_IA32_ES_AR, VMCS_GUEST_IA32_ES_BASE },
sys/arch/amd64/amd64/vmm_machdep.c
8021
vmx_dump_vmcs_field(VMCS_GUEST_IA32_ES_BASE, "G. ES Base");
sys/arch/amd64/amd64/vmm_machdep.c
8221
if (vmread(VMCS_GUEST_IA32_ES_BASE, &r))