Re: [PATCH v5 2/3] mm: introduce put_user_page*(), placeholder versions

2018-10-10 Thread John Hubbard
On 10/10/18 1:03 AM, Jan Kara wrote: > On Tue 09-10-18 21:11:33, john.hubb...@gmail.com wrote: >> +/* >> + * put_user_pages() - for each page in the @pages array, release the page >> + * using put_user_page(). >> + * >> + * Please see the put_user_page() documentation for details. >> + * >> + *

Re: [PATCH v5 2/3] mm: introduce put_user_page*(), placeholder versions

2018-10-10 Thread John Hubbard
On 10/10/18 1:03 AM, Jan Kara wrote: > On Tue 09-10-18 21:11:33, john.hubb...@gmail.com wrote: >> +/* >> + * put_user_pages() - for each page in the @pages array, release the page >> + * using put_user_page(). >> + * >> + * Please see the put_user_page() documentation for details. >> + * >> + *

Re: [PATCH v5 2/3] mm: introduce put_user_page*(), placeholder versions

2018-10-10 Thread Jan Kara
On Tue 09-10-18 21:11:33, john.hubb...@gmail.com wrote: > +/* > + * put_user_pages() - for each page in the @pages array, release the page > + * using put_user_page(). > + * > + * Please see the put_user_page() documentation for details. > + * > + * This is just like put_user_pages_dirty(), except

Re: [PATCH v5 2/3] mm: introduce put_user_page*(), placeholder versions

2018-10-10 Thread Jan Kara
On Tue 09-10-18 21:11:33, john.hubb...@gmail.com wrote: > +/* > + * put_user_pages() - for each page in the @pages array, release the page > + * using put_user_page(). > + * > + * Please see the put_user_page() documentation for details. > + * > + * This is just like put_user_pages_dirty(), except

[PATCH v5 2/3] mm: introduce put_user_page*(), placeholder versions

2018-10-09 Thread john . hubbard
From: John Hubbard Introduces put_user_page(), which simply calls put_page(). This provides a way to update all get_user_pages*() callers, so that they call put_user_page(), instead of put_page(). Also introduces put_user_pages(), and a few dirty/locked variations, as a replacement for

[PATCH v5 2/3] mm: introduce put_user_page*(), placeholder versions

2018-10-09 Thread john . hubbard
From: John Hubbard Introduces put_user_page(), which simply calls put_page(). This provides a way to update all get_user_pages*() callers, so that they call put_user_page(), instead of put_page(). Also introduces put_user_pages(), and a few dirty/locked variations, as a replacement for