Searched refs:guest_gs_selector (Results 1 – 4 of 4) sorted by relevance
292 EVMCS1_FIELD(GUEST_GS_SELECTOR, guest_gs_selector,
583 u16 guest_gs_selector; member739 CHECK_OFFSET(guest_gs_selector, 974); in vmx_check_vmcs12_offsets()1102 FIELD(GUEST_GS_SELECTOR, guest_gs_selector),11971 vmcs_write16(GUEST_GS_SELECTOR, vmcs12->guest_gs_selector); in prepare_vmcs02_full()12982 vmcs12->guest_gs_selector = vmcs_read16(GUEST_GS_SELECTOR); in sync_vmcs12()
556 u16 guest_gs_selector; member
206 u16 guest_gs_selector;
