hold_count        373 kern/sched_bsd.c 	int hold_count;
hold_count        388 kern/sched_bsd.c 		hold_count = __mp_release_all(&kernel_lock);
hold_count        458 kern/sched_bsd.c 		__mp_acquire_count(&kernel_lock, hold_count);