pipe_init         245 kern/init_main.c 	pipe_init();
pipe_init          87 sys/pipe.h     void	pipe_init(void);