pipewrite          77 kernel/defs.h  int             pipewrite(struct pipe*, uint64, int);
pipewrite         143 kernel/file.c      ret = pipewrite(f->pipe, addr, n);