return raw_pthread_create(thread, attr, start_routine, arg);
sthread_inside_simgrid = 1;
- int res = sthread_create(thread, attr, start_routine, arg);
+ int res = sthread_create((sthread_t*)thread, attr, start_routine, arg);
sthread_inside_simgrid = 0;
return res;
}
return raw_pthread_join(thread, retval);
sthread_inside_simgrid = 1;
- int res = sthread_join(thread, retval);
+ int res = sthread_join((sthread_t)thread, retval);
sthread_inside_simgrid = 0;
return res;
}
intercepter_init();
if (sthread_inside_simgrid)
- return raw_gettimeofday(tv, (void*)tz);
+ return raw_gettimeofday(tv, tz);
sthread_inside_simgrid = 1;
int res = sthread_gettimeofday(tv);