Symbol: pipe_pair_destroy
sys/kern/sys_pipe.c
141
void pipe_pair_destroy(struct pipe_pair *);
sys/kern/sys_pipe.c
816
pipe_pair_destroy(cpipe->pipe_pair);