Messages in this thread | | | Subject | Re: [PATCH v3] tee: convert convert get_user_pages() --> pin_user_pages() | From | John Hubbard <> | Date | Tue, 25 Aug 2020 01:54:08 -0700 |
| |
On 8/25/20 1:32 AM, Jens Wiklander wrote: > On Mon, Aug 24, 2020 at 02:11:25PM -0700, John Hubbard wrote: ... >> OK, one more try, this time actually handling the _USER_MAPPED vs. >> _KERNEL_MAPPED pages! >> >> thanks, >> John Hubbard >> NVIDIA > > Looks good and it works too! :-) I've tested it on my Hikey board with > the OP-TEE test suite. > I'm picking this up. >
Great! I see that I have, once again, somehow doubled up on the subject line: "tee: convert convert ...". This particular typo just seems to stick to me. :)
If you get a chance to fix that up by changing it to just a single "convert" I'd appreciate it.
thanks, -- John Hubbard NVIDIA
| |