GUEST_LDTR_LIMIT
EVMCS1_FIELD(GUEST_LDTR_LIMIT, guest_ldtr_limit,
vmcs_write32(GUEST_LDTR_LIMIT, vmcs12->guest_ldtr_limit);
case GUEST_LDTR_LIMIT:
vmcs12->guest_ldtr_limit = vmcs_read32(GUEST_LDTR_LIMIT);
FIELD(GUEST_LDTR_LIMIT, guest_ldtr_limit),
vmcs_write32(GUEST_LDTR_LIMIT, 0xffff);
case GUEST_LDTR_LIMIT:
case GUEST_LDTR_LIMIT:
vmwrite(GUEST_LDTR_LIMIT, -1);