be_thread
pthread_t be_thread; /* thread holding lock */
be->be_thread = pthread_self();
be->be_thread = 0;
be->be_thread = 0;
be->be_thread = 0;
bes[i]->be_thread == pthread_self())
if (bes[i] != NULL && bes[i]->be_thread == pthread_self())
if (bes[i] != NULL && bes[i]->be_thread != pthread_self()) {
void * be_thread(void *);
thr_create(stacks[ncpus], 1<<23, be_thread, NULL, THR_BOUND,
be_thread(NULL);
void *be_thread(void *);
thr_create(NULL, 1<<23, be_thread, NULL, THR_BOUND, &tid[i--]);