pipeclose          75 kernel/defs.h  void            pipeclose(struct pipe*, int);
pipeclose          77 kernel/file.c      pipeclose(ff.pipe, ff.writable);