[PATCH v5 0/3] get_user_pages*() and RDMA: first steps

From: John Hubbard Changes since v4: -- Changed the new put_user_page*() functions to operate only on the head page, because that's how the final version of those functions will work. (Andrew Morton's feedback prompted this, thanks!) -- Added proper documentation of the new

[PATCH v5 0/3] get_user_pages*() and RDMA: first steps

From: John Hubbard Changes since v4: -- Changed the new put_user_page*() functions to operate only on the head page, because that's how the final version of those functions will work. (Andrew Morton's feedback prompted this, thanks!) -- Added proper documentation of the new