scheduler_reschedule
scheduler_reschedule(B_THREAD_READY);
void scheduler_reschedule(int32 next_state);
scheduler_reschedule(B_THREAD_SUSPENDED);
scheduler_reschedule(B_THREAD_READY);
scheduler_reschedule(B_THREAD_READY);
scheduler_reschedule(B_THREAD_READY);
scheduler_reschedule(B_THREAD_READY);
scheduler_reschedule(B_THREAD_READY);
scheduler_reschedule(B_THREAD_READY);
scheduler_reschedule(THREAD_STATE_FREE_ON_RESCHED);
scheduler_reschedule(B_THREAD_READY);
scheduler_reschedule(B_THREAD_WAITING);
scheduler_reschedule();