Searched refs:guest_ds_selector (Results 1 – 4 of 4) sorted by relevance
288 EVMCS1_FIELD(GUEST_DS_SELECTOR, guest_ds_selector,
581 u16 guest_ds_selector; member737 CHECK_OFFSET(guest_ds_selector, 970); in vmx_check_vmcs12_offsets()1100 FIELD(GUEST_DS_SELECTOR, guest_ds_selector),11969 vmcs_write16(GUEST_DS_SELECTOR, vmcs12->guest_ds_selector); in prepare_vmcs02_full()12980 vmcs12->guest_ds_selector = vmcs_read16(GUEST_DS_SELECTOR); in sync_vmcs12()
554 u16 guest_ds_selector; member
204 u16 guest_ds_selector;
