Searched refs:GUEST_GS_SELECTOR (Results 1 – 5 of 5) sorted by relevance
216 vmwrite(GUEST_GS_SELECTOR, vmreadz(HOST_GS_SELECTOR)); in init_vmcs_guest_state()248 vmreadz(GUEST_GS_SELECTOR) == 0 ? 0x10000 : 0xc093); in init_vmcs_guest_state()
163 GUEST_GS_SELECTOR = 0x0000080a, enumerator
292 EVMCS1_FIELD(GUEST_GS_SELECTOR, guest_gs_selector,
1102 FIELD(GUEST_GS_SELECTOR, guest_gs_selector),9936 vmx_dump_sel("GS: ", GUEST_GS_SELECTOR); in dump_vmcs()11971 vmcs_write16(GUEST_GS_SELECTOR, vmcs12->guest_gs_selector); in prepare_vmcs02_full()12982 vmcs12->guest_gs_selector = vmcs_read16(GUEST_GS_SELECTOR); in sync_vmcs12()
