Searched refs:GUEST_SS_SELECTOR (Results 1 – 2 of 2) sorted by relevance
118 GUEST_SS_SELECTOR = 0x00000804, enumerator
636 FIELD(GUEST_SS_SELECTOR, guest_ss_selector),9075 vmcs_write16(GUEST_SS_SELECTOR, vmcs12->guest_ss_selector); in prepare_vmcs02()9735 vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR); in prepare_vmcs12()