unlocked          396 kern/kern_synch.c 	_spinlock_lock_t unlocked = _SPINLOCK_UNLOCKED;
unlocked          402 kern/kern_synch.c 		copyout(&unlocked, lock, sizeof(unlocked));