VMCS_GUEST_IA32_SS_AR
VMCS_GUEST_IA32_SS_AR, VMCS_GUEST_IA32_SS_BASE },
if (vmread(VMCS_GUEST_IA32_SS_AR, &ss_ar))
vmx_dump_vmcs_field(VMCS_GUEST_IA32_SS_AR, "G. SS AR");
if (vmread(VMCS_GUEST_IA32_SS_AR, &r))