GUEST_SS_AR_BYTES
EVMCS1_FIELD(GUEST_SS_AR_BYTES, guest_ss_ar_bytes,
vmcs_write32(GUEST_SS_AR_BYTES, vmcs12->guest_ss_ar_bytes);
vmcs12->guest_ss_ar_bytes = vmcs_read32(GUEST_SS_AR_BYTES);
FIELD(GUEST_SS_AR_BYTES, guest_ss_ar_bytes),
SHADOW_FIELD_RO(GUEST_SS_AR_BYTES, guest_ss_ar_bytes)
ar = vmcs_read32(GUEST_SS_AR_BYTES);
case GUEST_SS_AR_BYTES:
case GUEST_SS_AR_BYTES:
vmwrite(GUEST_SS_AR_BYTES, 0xc093);