Searched refs:host_es_selector (Results 1 – 7 of 7) sorted by relevance
180 u16 host_es_selector; member354 CHECK_OFFSET(host_es_selector, 982); in vmx_check_vmcs12_offsets()
24 FIELD(HOST_ES_SELECTOR, host_es_selector),
264 EVMCS1_FIELD(HOST_ES_SELECTOR, host_es_selector,
1620 vmcs12->host_es_selector = evmcs->host_es_selector; in copy_enlightened_to_vmcs12()2891 CC(vmcs12->host_es_selector & (SEGMENT_RPL_MASK | SEGMENT_TI_MASK)) || in nested_vmx_check_host_state()4315 seg.selector = vmcs12->host_es_selector; in load_vmcs12_host_state()
36 u16 host_es_selector; member593 *value = current_evmcs->host_es_selector; in evmcs_vmread()980 current_evmcs->host_es_selector = value; in evmcs_vmwrite()
385 u16 host_es_selector; member
213 u16 host_es_selector;
Completed in 21 milliseconds