release            69 kernel/bio.c         release(&bcache.lock);
release            83 kernel/bio.c         release(&bcache.lock);
release           136 kernel/bio.c     release(&bcache.lock);
release           143 kernel/bio.c     release(&bcache.lock);
release           150 kernel/bio.c     release(&bcache.lock);
release            97 kernel/console.c         release(&cons.lock);
release           128 kernel/console.c   release(&cons.lock);
release           182 kernel/console.c   release(&cons.lock);
release           112 kernel/defs.h  void            release(struct spinlock*);
release            38 kernel/file.c        release(&ftable.lock);
release            42 kernel/file.c    release(&ftable.lock);
release            54 kernel/file.c    release(&ftable.lock);
release            68 kernel/file.c      release(&ftable.lock);
release            74 kernel/file.c    release(&ftable.lock);
release           259 kernel/fs.c          release(&itable.lock);
release           275 kernel/fs.c      release(&itable.lock);
release           287 kernel/fs.c      release(&itable.lock);
release           349 kernel/fs.c        release(&itable.lock);
release           362 kernel/fs.c      release(&itable.lock);
release            62 kernel/kalloc.c   release(&kmem.lock);
release            77 kernel/kalloc.c   release(&kmem.lock);
release           139 kernel/log.c         release(&log.lock);
release           165 kernel/log.c     release(&log.lock);
release           174 kernel/log.c       release(&log.lock);
release           235 kernel/log.c     release(&log.lock);
release            70 kernel/pipe.c      release(&pi->lock);
release            73 kernel/pipe.c      release(&pi->lock);
release            85 kernel/pipe.c        release(&pi->lock);
release           100 kernel/pipe.c    release(&pi->lock);
release           115 kernel/pipe.c        release(&pi->lock);
release           128 kernel/pipe.c    release(&pi->lock);
release           131 kernel/printf.c     release(&pr.lock);
release           100 kernel/proc.c    release(&pid_lock);
release           119 kernel/proc.c        release(&p->lock);
release           131 kernel/proc.c      release(&p->lock);
release           139 kernel/proc.c      release(&p->lock);
release           231 kernel/proc.c    release(&p->lock);
release           271 kernel/proc.c      release(&np->lock);
release           292 kernel/proc.c    release(&np->lock);
release           296 kernel/proc.c    release(&wait_lock);
release           300 kernel/proc.c    release(&np->lock);
release           358 kernel/proc.c    release(&wait_lock);
release           390 kernel/proc.c              release(&pp->lock);
release           391 kernel/proc.c              release(&wait_lock);
release           395 kernel/proc.c            release(&pp->lock);
release           396 kernel/proc.c            release(&wait_lock);
release           399 kernel/proc.c          release(&pp->lock);
release           405 kernel/proc.c        release(&wait_lock);
release           453 kernel/proc.c        release(&p->lock);
release           497 kernel/proc.c    release(&p->lock);
release           510 kernel/proc.c    release(&p->lock);
release           552 kernel/proc.c    release(lk);
release           564 kernel/proc.c    release(&p->lock);
release           581 kernel/proc.c        release(&p->lock);
release           602 kernel/proc.c        release(&p->lock);
release           605 kernel/proc.c      release(&p->lock);
release           615 kernel/proc.c    release(&p->lock);
release           625 kernel/proc.c    release(&p->lock);
release            30 kernel/sleeplock.c   release(&lk->lk);
release            40 kernel/sleeplock.c   release(&lk->lk);
release            50 kernel/sleeplock.c   release(&lk->lk);
release            78 kernel/sysproc.c       release(&tickslock);
release            83 kernel/sysproc.c   release(&tickslock);
release           105 kernel/sysproc.c   release(&tickslock);
release           171 kernel/trap.c      release(&tickslock);
release            98 kernel/uart.c    release(&tx_lock);
release           153 kernel/uart.c    release(&tx_lock);
release           291 kernel/virtio_disk.c   release(&disk.vdisk_lock);
release           326 kernel/virtio_disk.c   release(&disk.vdisk_lock);