release            68 kernel/bio.c         release(&bcache.lock);
release            82 kernel/bio.c         release(&bcache.lock);
release           136 kernel/bio.c     release(&bcache.lock);
release           144 kernel/bio.c     release(&bcache.lock);
release           152 kernel/bio.c     release(&bcache.lock);
release           101 kernel/console.c         release(&cons.lock);
release           105 kernel/console.c       release(&cons.lock);
release           135 kernel/console.c   release(&cons.lock);
release           189 kernel/console.c   release(&cons.lock);
release           114 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           260 kernel/fs.c          release(&itable.lock);
release           276 kernel/fs.c      release(&itable.lock);
release           288 kernel/fs.c      release(&itable.lock);
release           363 kernel/fs.c        release(&itable.lock);
release           374 kernel/fs.c      release(&itable.lock);
release            62 kernel/kalloc.c   release(&kmem.lock);
release            77 kernel/kalloc.c   release(&kmem.lock);
release           135 kernel/log.c         release(&log.lock);
release           141 kernel/log.c         release(&log.lock);
release           146 kernel/log.c         release(&log.lock);
release           172 kernel/log.c     release(&log.lock);
release           182 kernel/log.c       release(&log.lock);
release           243 kernel/log.c     release(&log.lock);
release           254 kernel/log.c         release(&log.lock);
release           259 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            91 kernel/pipe.c        release(&pi->lock);
release           106 kernel/pipe.c    release(&pi->lock);
release           121 kernel/pipe.c        release(&pi->lock);
release           125 kernel/pipe.c      release(&pi->lock);
release           141 kernel/pipe.c    release(&pi->lock);
release           132 kernel/printk.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           230 kernel/proc.c    release(&p->lock);
release           273 kernel/proc.c      release(&np->lock);
release           294 kernel/proc.c    release(&np->lock);
release           298 kernel/proc.c    release(&wait_lock);
release           302 kernel/proc.c    release(&np->lock);
release           360 kernel/proc.c    release(&wait_lock);
release           393 kernel/proc.c              release(&pp->lock);
release           394 kernel/proc.c              release(&wait_lock);
release           399 kernel/proc.c            release(&pp->lock);
release           400 kernel/proc.c            release(&wait_lock);
release           403 kernel/proc.c          release(&pp->lock);
release           409 kernel/proc.c        release(&wait_lock);
release           415 kernel/proc.c      release(&wait_lock);
release           463 kernel/proc.c        release(&p->lock);
release           507 kernel/proc.c    release(&p->lock);
release           520 kernel/proc.c    release(&p->lock);
release           555 kernel/proc.c    release(&p->lock);
release           571 kernel/proc.c    release(&p->lock);
release           593 kernel/proc.c      release(&p->lock);
release           616 kernel/proc.c        release(&p->lock);
release           619 kernel/proc.c      release(&p->lock);
release           629 kernel/proc.c    release(&p->lock);
release           639 kernel/proc.c    release(&p->lock);
release            27 kernel/sleeplock.c     release(&lk->lk);
release            33 kernel/sleeplock.c   release(&lk->lk);
release            43 kernel/sleeplock.c   release(&lk->lk);
release            53 kernel/sleeplock.c   release(&lk->lk);
release            80 kernel/sysproc.c       release(&tickslock);
release            84 kernel/sysproc.c     release(&tickslock);
release            88 kernel/sysproc.c   release(&tickslock);
release           110 kernel/sysproc.c   release(&tickslock);
release           173 kernel/trap.c      release(&tickslock);
release           233 kernel/virtio_disk.c     release(&disk.vdisk_lock);
release           289 kernel/virtio_disk.c     release(&disk.vdisk_lock);
release           297 kernel/virtio_disk.c   release(&disk.vdisk_lock);
release           332 kernel/virtio_disk.c   release(&disk.vdisk_lock);