pipewrite 103 defs.h int pipewrite(struct pipe*, char*, int); pipewrite 124 file.c return pipewrite(f->pipe, addr, n);