Searched refs:GUEST_DS_SELECTOR (Results 1 – 2 of 2) sorted by relevance
121 GUEST_DS_SELECTOR = 0x00000806, enumerator
692 FIELD(GUEST_DS_SELECTOR, guest_ds_selector),7968 vmx_dump_sel("DS: ", GUEST_DS_SELECTOR); in dump_vmcs()9476 vmcs_write16(GUEST_DS_SELECTOR, vmcs12->guest_ds_selector); in prepare_vmcs02()10148 vmcs12->guest_ds_selector = vmcs_read16(GUEST_DS_SELECTOR); in prepare_vmcs12()