too_many_pipe_buffers_hard
(too_many_pipe_buffers_hard(user_bufs) ||
if (too_many_pipe_buffers_hard(user_bufs) && pipe_is_unprivileged_user())
bool too_many_pipe_buffers_hard(unsigned long user_bufs);