Searched refs:guest_es_selector (Results 1 – 1 of 1) sorted by relevance
62 u16 guest_es_selector; member612 *value = current_evmcs->guest_es_selector; in evmcs_vmread()999 current_evmcs->guest_es_selector = value; in evmcs_vmwrite()