GUEST_ES_LIMIT
EVMCS1_FIELD(GUEST_ES_LIMIT, guest_es_limit,
vmcs_write32(GUEST_ES_LIMIT, vmcs12->guest_es_limit);
case GUEST_ES_LIMIT:
vmcs12->guest_es_limit = vmcs_read32(GUEST_ES_LIMIT);
FIELD(GUEST_ES_LIMIT, guest_es_limit),
vmcs_read32(sel + GUEST_ES_LIMIT - GUEST_ES_SELECTOR),
case GUEST_ES_LIMIT:
case GUEST_ES_LIMIT:
vmwrite(GUEST_ES_LIMIT, -1);