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