threadlist_remtail   80 kern/include/threadlist.h struct thread *threadlist_remtail(struct threadlist *tl);
threadlist_remtail  885 kern/thread/thread.c 		t = threadlist_remtail(&curcpu->c_runqueue);