pipe_is_unprivileged_user
pipe_is_unprivileged_user()) {
if (too_many_pipe_buffers_soft(user_bufs) && pipe_is_unprivileged_user()) {
if (too_many_pipe_buffers_hard(user_bufs) && pipe_is_unprivileged_user())
bool pipe_is_unprivileged_user(void);
pipe_is_unprivileged_user()) {