pipealloc 71 kernel/defs.h int pipealloc(struct file**, struct file**); pipealloc 510 kernel/sysfile.c if (pipealloc(&rf, &wf) < 0)