case SCHED_SHUTTING_DOWN:
IF_DEBUG(scheduler, sched_belch("SCHED_SHUTTING_DOWN"));
// If we are a worker, just exit. If we're a bound thread
case SCHED_SHUTTING_DOWN:
IF_DEBUG(scheduler, sched_belch("SCHED_SHUTTING_DOWN"));
// If we are a worker, just exit. If we're a bound thread