lock               82 kern/include/synch.h void lock_acquire(struct lock *);
lock               95 kern/include/synch.h void lock_release(struct lock *);
lock               96 kern/include/synch.h bool lock_do_i_hold(struct lock *);
lock               97 kern/include/synch.h void lock_destroy(struct lock *);
lock              136 kern/include/synch.h void cv_wait(struct cv *cv, struct lock *lock);
lock              137 kern/include/synch.h void cv_signal(struct cv *cv, struct lock *lock);
lock              138 kern/include/synch.h void cv_broadcast(struct cv *cv, struct lock *lock);
lock              172 kern/thread/synch.c lock_destroy(struct lock *lock)
lock              183 kern/thread/synch.c lock_acquire(struct lock *lock)
lock              191 kern/thread/synch.c lock_release(struct lock *lock)
lock              199 kern/thread/synch.c lock_do_i_hold(struct lock *lock)
lock              246 kern/thread/synch.c cv_wait(struct cv *cv, struct lock *lock)
lock              254 kern/thread/synch.c cv_signal(struct cv *cv, struct lock *lock)
lock              262 kern/thread/synch.c cv_broadcast(struct cv *cv, struct lock *lock)