Re: [PATCH 3/4] tee: Remove call to get_kernel_pages()