- IF_DEBUG(scheduler,
- fprintf(stderr,"worker (%p): returning, waiting for lock.\n", osThreadId()));
- IF_DEBUG(scheduler,
- fprintf(stderr,"worker (%p): returning; workers waiting: %d\n",
- osThreadId(), rts_n_waiting_workers));
- if ( noCapabilities() ) {
+ IF_DEBUG(scheduler,
+ sched_belch("worker: returning; workers waiting: %d",
+ rts_n_waiting_workers));
+ if ( noCapabilities() || passingCapability ) {