Symbol: VMCS_GUEST_IA32_DS_SEL
sys/arch/amd64/amd64/vmm_machdep.c
222
{ VMCS_GUEST_IA32_DS_SEL, VMCS_GUEST_IA32_DS_LIMIT,
sys/arch/amd64/amd64/vmm_machdep.c
7633
vmx_dump_vmcs_field(VMCS_GUEST_IA32_DS_SEL, "G.DS");
sys/arch/amd64/amd64/vmm_machdep.c
8189
if (vmread(VMCS_GUEST_IA32_DS_SEL, &r))