HOST_ES_SELECTOR
EVMCS1_FIELD(HOST_ES_SELECTOR, host_es_selector,
FIELD(HOST_ES_SELECTOR, host_es_selector),
vmcs_write16(HOST_ES_SELECTOR, 0);
vmcs_write16(HOST_ES_SELECTOR, __KERNEL_DS); /* 22.2.4 */
vmcs_read16(HOST_DS_SELECTOR), vmcs_read16(HOST_ES_SELECTOR),
case HOST_ES_SELECTOR:
case HOST_ES_SELECTOR:
vmwrite(HOST_ES_SELECTOR, get_es());
vmwrite(GUEST_ES_SELECTOR, vmreadz(HOST_ES_SELECTOR));