GUEST_TR_AR_BYTES
EVMCS1_FIELD(GUEST_TR_AR_BYTES, guest_tr_ar_bytes,
field <= GUEST_TR_AR_BYTES,
vmcs_write32(GUEST_TR_AR_BYTES, vmcs12->guest_tr_ar_bytes);
case GUEST_TR_AR_BYTES:
vmcs12->guest_tr_ar_bytes = vmcs_read32(GUEST_TR_AR_BYTES);
if (field >= GUEST_ES_AR_BYTES && field <= GUEST_TR_AR_BYTES)
FIELD(GUEST_TR_AR_BYTES, guest_tr_ar_bytes),
vmcs_write32(GUEST_TR_AR_BYTES, 0x008b);
guest_tr_ar = vmcs_read32(GUEST_TR_AR_BYTES);
vmcs_write32(GUEST_TR_AR_BYTES,
vmcs_write32(GUEST_TR_AR_BYTES, 0x008b);
case GUEST_TR_AR_BYTES:
case GUEST_TR_AR_BYTES:
vmwrite(GUEST_TR_AR_BYTES, 0x8b);