Revision 23054111 target-i386/helper.c

b/target-i386/helper.c
743 743
    char cc_op_name[32];
744 744
    static const char *seg_name[6] = { "ES", "CS", "SS", "DS", "FS", "GS" };
745 745

  
746
    if (kvm_enabled())
747
        cpu_synchronize_state(env);
746
    cpu_synchronize_state(env);
748 747

  
749 748
    eflags = env->eflags;
750 749
#ifdef TARGET_X86_64

Also available in: Unified diff