Searched refs:VMCS_GUEST_IA32_DS_SEL (Results 1 – 2 of 2) sorted by relevance
1237 #define VMCS_GUEST_IA32_DS_SEL 0x0806 macro
212 { VMCS_GUEST_IA32_DS_SEL, VMCS_GUEST_IA32_DS_LIMIT,6982 vmx_dump_vmcs_field(VMCS_GUEST_IA32_DS_SEL, "G.DS"); in vmx_dump_vmcs()7538 if (vmread(VMCS_GUEST_IA32_DS_SEL, &r)) in vmx_vcpu_dump_regs()