Re: [PATCH v4 3/3] infiniband/mm: convert put_page() to put_user_page*()

2018-10-09 Thread kbuild test robot
Hi John, Thank you for the patch! Perhaps something to improve: [auto build test WARNING on linus/master] [also build test WARNING on v4.19-rc7 next-20181008] [if your patch is applied to the wrong git tree, please drop us a note to help improve the system] url:

Re: [PATCH v4 3/3] infiniband/mm: convert put_page() to put_user_page*()

2018-10-09 Thread kbuild test robot
Hi John, Thank you for the patch! Perhaps something to improve: [auto build test WARNING on linus/master] [also build test WARNING on v4.19-rc7 next-20181008] [if your patch is applied to the wrong git tree, please drop us a note to help improve the system] url:

[PATCH v4 3/3] infiniband/mm: convert put_page() to put_user_page*()

2018-10-08 Thread john . hubbard
From: John Hubbard For code that retains pages via get_user_pages*(), release those pages via the new put_user_page(), or put_user_pages*(), instead of put_page() This prepares for eventually fixing the problem described in [1], and is following a plan listed in [2], [3], [4]. [1]

[PATCH v4 3/3] infiniband/mm: convert put_page() to put_user_page*()

2018-10-08 Thread john . hubbard
From: John Hubbard For code that retains pages via get_user_pages*(), release those pages via the new put_user_page(), or put_user_pages*(), instead of put_page() This prepares for eventually fixing the problem described in [1], and is following a plan listed in [2], [3], [4]. [1]