thread_stop
thread_stop(t); /* change state and drop lock */
thread_stop(t); /* change to stop state and drop lock */
thread_stop(t); /* set stop state and drop lock */
void thread_stop(kthread_t *); /* move to stop lock */