Searched refs:host_ds_selector (Results 1 – 7 of 7) sorted by relevance
181 u16 host_ds_selector; member359 CHECK_OFFSET(host_ds_selector, 988); in vmx_check_vmcs12_offsets()
28 FIELD(HOST_DS_SELECTOR, host_ds_selector),
271 EVMCS1_FIELD(HOST_DS_SELECTOR, host_ds_selector,
1673 vmcs12->host_ds_selector = evmcs->host_ds_selector; in copy_enlightened_to_vmcs12()2925 CC(vmcs12->host_ds_selector & (SEGMENT_RPL_MASK | SEGMENT_TI_MASK)) || in nested_vmx_check_host_state()4316 seg.selector = vmcs12->host_ds_selector; in load_vmcs12_host_state()
39 u16 host_ds_selector; member602 *value = current_evmcs->host_ds_selector; in evmcs_vmread()989 current_evmcs->host_ds_selector = value; in evmcs_vmwrite()
316 u16 host_ds_selector; member
214 u16 host_ds_selector;