Messages in this thread | | | Date | Fri, 21 Aug 2020 11:49:10 -0700 | From | Olof Johansson <> | Subject | Re: [GIT PULL] tee subsystem pin_user_pages for v5.8 |
| |
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
| |