nread              16 pipe.c           uint nread;     // number of bytes read
nread              36 pipe.c           p->nread = 0;
nread              65 pipe.c             wakeup(&p->nread);
nread              85 pipe.c             while(p->nwrite == p->nread + PIPESIZE){  //DOC: pipewrite-full
nread              90 pipe.c               wakeup(&p->nread);
nread              95 pipe.c           wakeup(&p->nread);  //DOC: pipewrite-wakeup1
nread             106 pipe.c           while(p->nread == p->nwrite && p->writeopen){  //DOC: pipe-empty
nread             111 pipe.c             sleep(&p->nread, &p->lock); //DOC: piperead-sleep
nread             114 pipe.c             if(p->nread == p->nwrite)
nread             116 pipe.c             addr[i] = p->data[p->nread++ % PIPESIZE];