1// just do it, until we have full pthreads 2void __synccall(void (*func)(void *), void *ctx) { 3 func(ctx); 4} 5 6 7