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