Searched refs:host_es_selector (Results 1 – 3 of 3) sorted by relevance
25 u16 host_es_selector; member610 *value = current_evmcs->host_es_selector; in evmcs_vmread()1119 current_evmcs->host_es_selector = value; in evmcs_vmwrite()
213 u16 host_es_selector;
1756 vmcs12->host_es_selector = evmcs->host_es_selector; in copy_enlightened_to_vmcs12()3191 CC(vmcs12->host_es_selector & (SEGMENT_RPL_MASK | SEGMENT_TI_MASK)) || in nested_vmx_check_host_state()4879 seg.selector = vmcs12->host_es_selector; in load_vmcs12_host_state()