Searched refs:GUEST_SS_SELECTOR (Results 1 – 5 of 5) sorted by relevance
160 GUEST_SS_SELECTOR = 0x00000804, enumerator
213 vmwrite(GUEST_SS_SELECTOR, vmreadz(HOST_SS_SELECTOR)); in init_vmcs_guest_state()
286 EVMCS1_FIELD(GUEST_SS_SELECTOR, guest_ss_selector,
1099 FIELD(GUEST_SS_SELECTOR, guest_ss_selector),9933 vmx_dump_sel("SS: ", GUEST_SS_SELECTOR); in dump_vmcs()11968 vmcs_write16(GUEST_SS_SELECTOR, vmcs12->guest_ss_selector); in prepare_vmcs02_full()12979 vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR); in sync_vmcs12()