GUEST_ES_SELECTOR
EVMCS1_FIELD(GUEST_ES_SELECTOR, guest_es_selector,
vmcs_write16(GUEST_ES_SELECTOR, vmcs12->guest_es_selector);
case GUEST_ES_SELECTOR:
vmcs12->guest_es_selector = vmcs_read16(GUEST_ES_SELECTOR);
FIELD(GUEST_ES_SELECTOR, guest_es_selector),
vmcs_read32(sel + GUEST_ES_AR_BYTES - GUEST_ES_SELECTOR),
vmcs_read32(sel + GUEST_ES_LIMIT - GUEST_ES_SELECTOR),
vmcs_readl(sel + GUEST_ES_BASE - GUEST_ES_SELECTOR));
vmx_dump_sel("ES: ", GUEST_ES_SELECTOR);
case GUEST_ES_SELECTOR:
case GUEST_ES_SELECTOR:
vmwrite(GUEST_ES_SELECTOR, vmreadz(HOST_ES_SELECTOR));
vmreadz(GUEST_ES_SELECTOR) == 0 ? 0x10000 : 0xc093);