thread_switch     807 kern/thread/thread.c 	thread_switch(S_ZOMBIE, NULL);
thread_switch     817 kern/thread/thread.c 	thread_switch(S_READY, NULL);
thread_switch    1028 kern/thread/thread.c 	thread_switch(S_SLEEP, wc);