__mp_lock_spinout  824 kern/kern_lock.c int __mp_lock_spinout = 200000000;
__mp_lock_spinout   74 sys/mplock.h   extern int __mp_lock_spinout;
__mp_lock_spinout   89 sys/mplock.h   				int ticks = __mp_lock_spinout;