GUEST_ES_BASE
EVMCS1_FIELD(GUEST_ES_BASE, guest_es_base,
vmcs_writel(GUEST_ES_BASE, vmcs12->guest_es_base);
case GUEST_ES_BASE:
vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE);
FIELD(GUEST_ES_BASE, guest_es_base),
vmcs_readl(sel + GUEST_ES_BASE - GUEST_ES_SELECTOR));
case GUEST_ES_BASE:
case GUEST_ES_BASE:
vmwrite(GUEST_ES_BASE, 0);