spinlock          116 defs.h         void            sleep(void*, struct spinlock*);
spinlock          126 defs.h         void            acquire(struct spinlock*);
spinlock          128 defs.h         int             holding(struct spinlock*);
spinlock          129 defs.h         void            initlock(struct spinlock*, char*);
spinlock          130 defs.h         void            release(struct spinlock*);
spinlock          352 proc.c         sleep(void *chan, struct spinlock *lk)
spinlock           13 spinlock.c     initlock(struct spinlock *lk, char *name)
spinlock           25 spinlock.c     acquire(struct spinlock *lk)
spinlock           44 spinlock.c     release(struct spinlock *lk)
spinlock           86 spinlock.c     holding(struct spinlock *lock)