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