Searched refs:GUEST_SS_SELECTOR (Results 1 – 2 of 2) sorted by relevance
120 GUEST_SS_SELECTOR = 0x00000804, enumerator
691 FIELD(GUEST_SS_SELECTOR, guest_ss_selector),7969 vmx_dump_sel("SS: ", GUEST_SS_SELECTOR); in dump_vmcs()9475 vmcs_write16(GUEST_SS_SELECTOR, vmcs12->guest_ss_selector); in prepare_vmcs02()10147 vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR); in prepare_vmcs12()