Re: [Tee-dev] [PATCH] tee: convert convert get_user_pages() --> pin_user_pages()

On 2020-05-18 22:18, John Hubbard wrote:

This code was using get_user_pages*(), in a "Case 2" scenario (DMA/RDMA), using the categorization from [1]. That means that it's time to convert the get_user_pages*() + put_page() calls to pin_user_pages*() + unpin_user_pages() calls.

Looks like I accidentally doubled a word on the subject line: "convert convert". :)

I'd appreciate it a maintainer could remove one of those for me, while applying the patch, assuming that we don't need a v2 for other reasons.

thanks,