threadlist_addhead   77 kern/include/threadlist.h void threadlist_addhead(struct threadlist *tl, struct thread *t);
threadlist_addhead  886 kern/thread/thread.c 		threadlist_addhead(&victims, t);