GUEST_CS_AR_BYTES
EVMCS1_FIELD(GUEST_CS_AR_BYTES, guest_cs_ar_bytes,
vmcs_write32(GUEST_CS_AR_BYTES, vmcs12->guest_cs_ar_bytes);
vmcs12->guest_cs_ar_bytes = vmcs_read32(GUEST_CS_AR_BYTES);
FIELD(GUEST_CS_AR_BYTES, guest_cs_ar_bytes),
SHADOW_FIELD_RO(GUEST_CS_AR_BYTES, guest_cs_ar_bytes)
case GUEST_CS_AR_BYTES:
case GUEST_CS_AR_BYTES:
vmwrite(GUEST_CS_AR_BYTES, 0xa09b);