THREAD_STATE_FREE_ON_RESCHED
case THREAD_STATE_FREE_ON_RESCHED:
ASSERT(thread->state == THREAD_STATE_FREE_ON_RESCHED);
case THREAD_STATE_FREE_ON_RESCHED:
scheduler_reschedule(THREAD_STATE_FREE_ON_RESCHED);