bool migration_has_finished(MigrationState *s)

{

    return s->state == MIG_STATE_COMPLETED;

}

bool migration_has_finished(MigrationState *s)

{

    return s->state == MIG_STATE_COMPLETED;

}

bool FUNC_0(MigrationState *s)

{

    return s->state == MIG_STATE_COMPLETED;

}

bool FUNC_0(MigrationState *s)
{ return s->state == MIG_STATE_COMPLETED; }