sched_count       374 kern/sched_bsd.c 	int sched_count;
sched_count       386 kern/sched_bsd.c 	sched_count = __mp_release_all_but_one(&sched_lock);
sched_count       459 kern/sched_bsd.c 	__mp_acquire_count(&sched_lock, sched_count + 1);