too_many_pipe_buffers_soft
too_many_pipe_buffers_soft(user_bufs)) &&
if (too_many_pipe_buffers_soft(user_bufs) && pipe_is_unprivileged_user()) {
bool too_many_pipe_buffers_soft(unsigned long user_bufs);
too_many_pipe_buffers_soft(user_bufs)) &&