static void migrate_finish_set_state(MigrationState *s, int new_state)

{

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

        trace_migrate_set_state(new_state);

    }

}

static void migrate_finish_set_state(MigrationState *s, int new_state)

{

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

        trace_migrate_set_state(new_state);

    }

}

static void migrate_finish_set_state(MigrationState *s, int new_state)     if (atomic_cmpxchg(&s->state, MIG_STATE_ACTIVE, new_state) == new_state) {
static void FUNC_0(MigrationState *VAR_0, int VAR_1)

{

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

        trace_migrate_set_state(VAR_1);

    }

}

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