PIPESIZE           15 kernel/pipe.c    char data[PIPESIZE];
PIPESIZE           88 kernel/pipe.c      if(pi->nwrite == pi->nread + PIPESIZE){ //DOC: pipewrite-full
PIPESIZE           95 kernel/pipe.c        pi->data[pi->nwrite++ % PIPESIZE] = ch;
PIPESIZE          123 kernel/pipe.c      ch = pi->data[pi->nread++ % PIPESIZE];