HOST_DS_SELECTOR
EVMCS1_FIELD(HOST_DS_SELECTOR, host_ds_selector,
FIELD(HOST_DS_SELECTOR, host_ds_selector),
vmcs_write16(HOST_DS_SELECTOR, 0);
vmcs_write16(HOST_DS_SELECTOR, __KERNEL_DS); /* 22.2.4 */
vmcs_read16(HOST_DS_SELECTOR), vmcs_read16(HOST_ES_SELECTOR),
case HOST_DS_SELECTOR:
case HOST_DS_SELECTOR:
vmwrite(HOST_DS_SELECTOR, get_ds());
vmwrite(GUEST_DS_SELECTOR, vmreadz(HOST_DS_SELECTOR));