spinlock_cleanup   80 kern/include/spinlock.h void spinlock_cleanup(struct spinlock *lk);
spinlock_cleanup  167 kern/proc/proc.c 	spinlock_cleanup(&proc->p_lock);
spinlock_cleanup   84 kern/thread/synch.c 	spinlock_cleanup(&sem->sem_lock);
spinlock_cleanup  996 kern/thread/thread.c 	spinlock_cleanup(&wc->wc_lock);