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            93 kernel/console.c         release(&cons.lock);
release           124 kernel/console.c   release(&cons.lock);
release           178 kernel/console.c   release(&cons.lock);
release           117 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           258 kernel/fs.c          release(&itable.lock);
release           274 kernel/fs.c      release(&itable.lock);
release           286 kernel/fs.c      release(&itable.lock);
release           348 kernel/fs.c        release(&itable.lock);
release           361 kernel/fs.c      release(&itable.lock);
release            62 kernel/kalloc.c   release(&kmem.lock);
release            77 kernel/kalloc.c   release(&kmem.lock);
release           138 kernel/log.c         release(&log.lock);
release           164 kernel/log.c     release(&log.lock);
release           173 kernel/log.c       release(&log.lock);
release           234 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           157 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           254 kernel/proc.c    release(&p->lock);
release           294 kernel/proc.c      release(&np->lock);
release           315 kernel/proc.c    release(&np->lock);
release           319 kernel/proc.c    release(&wait_lock);
release           323 kernel/proc.c    release(&np->lock);
release           381 kernel/proc.c    release(&wait_lock);
release           413 kernel/proc.c              release(&pp->lock);
release           414 kernel/proc.c              release(&wait_lock);
release           418 kernel/proc.c            release(&pp->lock);
release           419 kernel/proc.c            release(&wait_lock);
release           422 kernel/proc.c          release(&pp->lock);
release           428 kernel/proc.c        release(&wait_lock);
release           473 kernel/proc.c        release(&p->lock);
release           518 kernel/proc.c    release(&p->lock);
release           529 kernel/proc.c    release(&myproc()->lock);
release           560 kernel/proc.c    release(lk);
release           572 kernel/proc.c    release(&p->lock);
release           589 kernel/proc.c        release(&p->lock);
release           610 kernel/proc.c        release(&p->lock);
release           613 kernel/proc.c      release(&p->lock);
release           623 kernel/proc.c    release(&p->lock);
release           633 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            64 kernel/sysproc.c       release(&tickslock);
release            69 kernel/sysproc.c   release(&tickslock);
release            91 kernel/sysproc.c   release(&tickslock);
release           170 kernel/trap.c      release(&tickslock);
release           103 kernel/uart.c    release(&uart_tx_lock);
release           190 kernel/uart.c    release(&uart_tx_lock);
release           291 kernel/virtio_disk.c   release(&disk.vdisk_lock);
release           326 kernel/virtio_disk.c   release(&disk.vdisk_lock);