wait_lock          27 kernel/proc.c  struct spinlock wait_lock;
wait_lock          53 kernel/proc.c    initlock(&wait_lock, "wait_lock");
wait_lock         294 kernel/proc.c    acquire(&wait_lock);
wait_lock         296 kernel/proc.c    release(&wait_lock);
wait_lock         345 kernel/proc.c    acquire(&wait_lock);
wait_lock         358 kernel/proc.c    release(&wait_lock);
wait_lock         374 kernel/proc.c    acquire(&wait_lock);
wait_lock         391 kernel/proc.c              release(&wait_lock);
wait_lock         396 kernel/proc.c            release(&wait_lock);
wait_lock         405 kernel/proc.c        release(&wait_lock);
wait_lock         410 kernel/proc.c      sleep(p, &wait_lock);  //DOC: wait-sleep