__mp_release_all  388 kern/sched_bsd.c 		hold_count = __mp_release_all(&kernel_lock);
__mp_release_all   44 sys/mplock.h   static __inline int __mp_release_all(struct __mp_lock *);