Searched refs:GUEST_DS_SELECTOR (Results 1 – 5 of 5) sorted by relevance
214 vmwrite(GUEST_DS_SELECTOR, vmreadz(HOST_DS_SELECTOR)); in init_vmcs_guest_state()244 vmreadz(GUEST_DS_SELECTOR) == 0 ? 0x10000 : 0xc093); in init_vmcs_guest_state()
161 GUEST_DS_SELECTOR = 0x00000806, enumerator
288 EVMCS1_FIELD(GUEST_DS_SELECTOR, guest_ds_selector,
1100 FIELD(GUEST_DS_SELECTOR, guest_ds_selector),9932 vmx_dump_sel("DS: ", GUEST_DS_SELECTOR); in dump_vmcs()11969 vmcs_write16(GUEST_DS_SELECTOR, vmcs12->guest_ds_selector); in prepare_vmcs02_full()12980 vmcs12->guest_ds_selector = vmcs_read16(GUEST_DS_SELECTOR); in sync_vmcs12()
