Symbol: pipe_dtor
sys/kern/sys_pipe.c
137
static void pipe_dtor(void *, void *);
sys/kern/sys_pipe.c
148
NULL, IPL_NONE, pipe_ctor, pipe_dtor, NULL);
sys/kern/sys_pipe.c
153
NULL, IPL_NONE, pipe_ctor, pipe_dtor, (void *)1);