__mp_acquire_count  458 kern/sched_bsd.c 		__mp_acquire_count(&kernel_lock, hold_count);
__mp_acquire_count  459 kern/sched_bsd.c 	__mp_acquire_count(&sched_lock, sched_count + 1);
__mp_acquire_count   45 sys/mplock.h   static __inline void __mp_acquire_count(struct __mp_lock *, int);