Re: [PATCH 0/3] sgi-gru: get_user_page changes

2019-07-21 Thread Ira Weiny
On Sun, Jul 21, 2019 at 09:28:02PM +0530, Bharath Vedartham wrote: > This patch series incorporates a few changes in the get_user_page usage > of sgi-gru. > > The main change is the first patch, which is a trivial one line change to > convert put_page to put_user_page to enable tracking of

[PATCH 0/3] sgi-gru: get_user_page changes

2019-07-21 Thread Bharath Vedartham
This patch series incorporates a few changes in the get_user_page usage of sgi-gru. The main change is the first patch, which is a trivial one line change to convert put_page to put_user_page to enable tracking of get_user_pages. The second patch removes an uneccessary ifdef of CONFIG_HUGETLB.