thread_make_runnable  532 kern/thread/thread.c 	thread_make_runnable(newthread, false);
thread_make_runnable  588 kern/thread/thread.c 		thread_make_runnable(cur, true /*have lock*/);
thread_make_runnable 1053 kern/thread/thread.c 	thread_make_runnable(target, false);
thread_make_runnable 1087 kern/thread/thread.c 		thread_make_runnable(target, false);