GUEST_LDTR_AR_BYTES
EVMCS1_FIELD(GUEST_LDTR_AR_BYTES, guest_ldtr_ar_bytes,
vmcs_write32(GUEST_LDTR_AR_BYTES, vmcs12->guest_ldtr_ar_bytes);
case GUEST_LDTR_AR_BYTES:
vmcs12->guest_ldtr_ar_bytes = vmcs_read32(GUEST_LDTR_AR_BYTES);
FIELD(GUEST_LDTR_AR_BYTES, guest_ldtr_ar_bytes),
vmcs_write32(GUEST_LDTR_AR_BYTES, 0x00082);
case GUEST_LDTR_AR_BYTES:
case GUEST_LDTR_AR_BYTES:
vmwrite(GUEST_LDTR_AR_BYTES, 0x10000);