schedule          163 kern/include/thread.h void schedule(void);
schedule           97 kern/thread/clock.c 		schedule();