static void migrate_set_state(MigrationState *s, int old_state, int new_state)

{

    if (atomic_cmpxchg(&s->state, old_state, new_state) == new_state) {

        trace_migrate_set_state(new_state);

    }

}

static void migrate_set_state(MigrationState *s, int old_state, int new_state)

{

    if (atomic_cmpxchg(&s->state, old_state, new_state) == new_state) {

        trace_migrate_set_state(new_state);

    }

}

static void FUNC_0(MigrationState *VAR_0, int VAR_1, int VAR_2)

{

    if (atomic_cmpxchg(&VAR_0->state, VAR_1, VAR_2) == VAR_2) {

        trace_migrate_set_state(VAR_2);

    }

}

static void FUNC_0(MigrationState *VAR_0, int VAR_1, int VAR_2)
{ if (atomic_cmpxchg(&VAR_0->state, VAR_1, VAR_2) == VAR_2) { trace_migrate_set_state(VAR_2); } }