[GIT PULL] tee subsystem pin_user_pages for v5.8

[Olof Johansson]

On Tue, May 26, 2020 at 03:12:59PM +0200, Jens Wiklander wrote:
> Hello arm-soc maintainers,
> 
> Please pull this small patch converting the tee subsystem to use
> pin_user_pages() instead of get_user_pages().
> 
> Thanks,
> Jens
> 
> The following changes since commit ae83d0b416db002fe95601e7f97f64b59514d936:
> 
>   Linux 5.7-rc2 (2020-04-19 14:35:30 -0700)
> 
> are available in the Git repository at:
> 
>   git://git.linaro.org:/people/jens.wiklander/linux-tee.git tags/tee-pin-user-pages-for-5.8
> 
> for you to fetch changes up to 37f6b4d5f47b600ec4ab6682c005a44a1bfca530:
> 
>   tee: convert get_user_pages() --> pin_user_pages() (2020-05-26 10:42:41 +0200)

Hi, I noticed this never got merged, but I don't see any follow-up here that
retracts it. Is it still pending merge such that I should queue it for v5.10?


-Olof