Searched refs:guest_cs_selector (Results 1 – 2 of 2) sorted by relevance
213 u16 guest_cs_selector;
344 u16 guest_cs_selector; member635 FIELD(GUEST_CS_SELECTOR, guest_cs_selector),9074 vmcs_write16(GUEST_CS_SELECTOR, vmcs12->guest_cs_selector); in prepare_vmcs02()9734 vmcs12->guest_cs_selector = vmcs_read16(GUEST_CS_SELECTOR); in prepare_vmcs12()