BIG_PIPE_SIZE     411 kern/sys_pipe.c 			if (pipespace(wpipe, BIG_PIPE_SIZE) == 0)
BIG_PIPE_SIZE      41 sys/pipe.h     #ifndef BIG_PIPE_SIZE