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