VMCS_GUEST_IA32_ES_AR
VMCS_GUEST_IA32_ES_AR, VMCS_GUEST_IA32_ES_BASE },
vmx_dump_vmcs_field(VMCS_GUEST_IA32_ES_AR, "G. ES AR");
if (vmread(VMCS_GUEST_IA32_ES_AR, &r))