GUEST_ES_AR_BYTES
EVMCS1_FIELD(GUEST_ES_AR_BYTES, guest_es_ar_bytes,
WARN_ONCE(field >= GUEST_ES_AR_BYTES &&
vmcs_write32(GUEST_ES_AR_BYTES, vmcs12->guest_es_ar_bytes);
case GUEST_ES_AR_BYTES:
vmcs12->guest_es_ar_bytes = vmcs_read32(GUEST_ES_AR_BYTES);
if (field >= GUEST_ES_AR_BYTES && field <= GUEST_TR_AR_BYTES)
FIELD(GUEST_ES_AR_BYTES, guest_es_ar_bytes),
vmcs_read32(sel + GUEST_ES_AR_BYTES - GUEST_ES_SELECTOR),
case GUEST_ES_AR_BYTES:
case GUEST_ES_AR_BYTES:
vmwrite(GUEST_ES_AR_BYTES,