Simon Horman <simon.horman@xxxxxxxxxxxx> wrote: > But, on a more mundane level, GCC reports that user_page_pipe_buf_ops is > (now) unused. I guess this was the last user, and user_page_pipe_buf_ops > can be removed as part of this patch. See patch 3. David
