schedcpu           68 kern/sched_bsd.c void schedcpu(void *);
schedcpu           84 kern/sched_bsd.c 	timeout_set(&schedcpu_to, schedcpu, &schedcpu_to);
schedcpu           87 kern/sched_bsd.c 	schedcpu(&schedcpu_to);