Searched refs:guest_ds_selector (Results 1 – 1 of 1) sorted by relevance
65 u16 guest_ds_selector; member619 *value = current_evmcs->guest_ds_selector; in evmcs_vmread()1006 current_evmcs->guest_ds_selector = value; in evmcs_vmwrite()