piperead           76 kernel/defs.h  int             piperead(struct pipe*, uint64, int);
piperead          115 kernel/file.c      r = piperead(f->pipe, addr, n);