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           132 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           274 kernel/proc.c      release(&np->lock);
release           295 kernel/proc.c    release(&np->lock);
release           299 kernel/proc.c    release(&wait_lock);
release           303 kernel/proc.c    release(&np->lock);
release           361 kernel/proc.c    release(&wait_lock);
release           393 kernel/proc.c              release(&pp->lock);
release           394 kernel/proc.c              release(&wait_lock);
release           398 kernel/proc.c            release(&pp->lock);
release           399 kernel/proc.c            release(&wait_lock);
release           402 kernel/proc.c          release(&pp->lock);
release           408 kernel/proc.c        release(&wait_lock);
release           456 kernel/proc.c        release(&p->lock);
release           500 kernel/proc.c    release(&p->lock);
release           513 kernel/proc.c    release(&p->lock);
release           555 kernel/proc.c    release(lk);
release           567 kernel/proc.c    release(&p->lock);
release           584 kernel/proc.c        release(&p->lock);
release           605 kernel/proc.c        release(&p->lock);
release           608 kernel/proc.c      release(&p->lock);
release           618 kernel/proc.c    release(&p->lock);
release           628 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            80 kernel/sysproc.c       release(&tickslock);
release            85 kernel/sysproc.c   release(&tickslock);
release           107 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);