__mp_unlock      4185 arch/i386/i386/machdep.c 		__mp_unlock(&kernel_lock);
__mp_unlock      4199 arch/i386/i386/machdep.c 	__mp_unlock(&kernel_lock);
__mp_unlock       800 kern/kern_lock.c 	__mp_unlock(&kernel_lock);
__mp_unlock       819 kern/kern_lock.c 	__mp_unlock(&kernel_lock);
__mp_unlock        43 sys/mplock.h   static __inline void __mp_unlock(struct __mp_lock *);
__mp_unlock        54 sys/mplock.h   #define SIMPLE_UNLOCK		__mp_unlock
__mp_unlock       167 sys/sched.h    	__mp_unlock(&sched_lock);					\