Searched refs:guest_ss_selector (Results 1 – 2 of 2) sorted by relevance
214 u16 guest_ss_selector;
345 u16 guest_ss_selector; member636 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()