Symbol: pipe_destroy_write_buffer
sys/kern/sys_pipe.c
1050
pipe_destroy_write_buffer(wpipe);
sys/kern/sys_pipe.c
1125
pipe_destroy_write_buffer(wpipe);
sys/kern/sys_pipe.c
1131
pipe_destroy_write_buffer(wpipe);
sys/kern/sys_pipe.c
247
static void pipe_destroy_write_buffer(struct pipe *wpipe);