kernel_lock      4174 arch/i386/i386/machdep.c 		__mp_lock(&kernel_lock);
kernel_lock      4185 arch/i386/i386/machdep.c 		__mp_unlock(&kernel_lock);
kernel_lock      4191 arch/i386/i386/machdep.c 	__mp_lock(&kernel_lock);
kernel_lock      4199 arch/i386/i386/machdep.c 	__mp_unlock(&kernel_lock);
kernel_lock       777 kern/kern_lock.c struct __mp_lock kernel_lock; 
kernel_lock       782 kern/kern_lock.c 	__mp_lock_init(&kernel_lock);
kernel_lock       794 kern/kern_lock.c 	__mp_lock(&kernel_lock);
kernel_lock       800 kern/kern_lock.c 	__mp_unlock(&kernel_lock);
kernel_lock       811 kern/kern_lock.c 	__mp_lock(&kernel_lock);
kernel_lock       819 kern/kern_lock.c 	__mp_unlock(&kernel_lock);
kernel_lock       388 kern/sched_bsd.c 		hold_count = __mp_release_all(&kernel_lock);
kernel_lock       458 kern/sched_bsd.c 		__mp_acquire_count(&kernel_lock, hold_count);
kernel_lock       206 sys/mplock.h   extern struct __mp_lock kernel_lock;