sched_resume       73 sys/include/sched.h void	 sched_resume(thread_t);
sched_resume      289 sys/kern/thread.c 		sched_resume(t);
sched_resume      546 sys/kern/thread.c 	sched_resume(t);