sleep             100 kernel/console.c       sleep(&cons.r, &cons.lock);
sleep              96 kernel/defs.h  void            sleep(void*, struct spinlock*);
sleep             133 kernel/log.c         sleep(&log, &log.lock);
sleep             136 kernel/log.c         sleep(&log, &log.lock);
sleep              90 kernel/pipe.c        sleep(&pi->nwrite, &pi->lock);
sleep             118 kernel/pipe.c      sleep(&pi->nread, &pi->lock); //DOC: piperead-sleep
sleep             410 kernel/proc.c      sleep(p, &wait_lock);  //DOC: wait-sleep
sleep              26 kernel/sleeplock.c     sleep(lk, &lk->lk);
sleep              81 kernel/sysproc.c     sleep(&ticks, &tickslock);
sleep              90 kernel/uart.c        sleep(&tx_chan, &tx_lock);
sleep             232 kernel/virtio_disk.c     sleep(&disk.free[0], &disk.vdisk_lock);
sleep             285 kernel/virtio_disk.c     sleep(b, &disk.vdisk_lock);