VMCS_GUEST_IA32_CS_AR
VMCS_GUEST_IA32_CS_AR, VMCS_GUEST_IA32_CS_BASE },
if (vmread(VMCS_GUEST_IA32_CS_AR, &cs_ar))
vmx_dump_vmcs_field(VMCS_GUEST_IA32_CS_AR, "G. CS AR");
if (vmread(VMCS_GUEST_IA32_CS_AR, &r))