diff options
| author | Varun Wadekar <vwadekar@nvidia.com> | 2013-12-03 12:37:11 +0530 |
|---|---|---|
| committer | Varun Wadekar <vwadekar@nvidia.com> | 2013-12-07 03:38:57 -0800 |
| commit | 82fbaaf0944f86b37ec38a39504ab12d7eab99fa (patch) | |
| tree | 8343caef743c5edc9f0af197ff61ea47422aaddd /security/tlk_driver/ote_fs.c | |
| parent | 4d8eee2146fbf8e4a3254ba72debe4cd89671bfd (diff) | |
security: tlk_driver: forcibly map user pages if default mapping fails
There are instances when te_pin_user_pages() fails due to failure in
get_user_pages(). We use default mapping policy to get user pages
before pinning. But if default fails, then try using "force" option to
map user pages.
Bug 1412144
Bug 1176001
Change-Id: I661a15c86846816a8050ddfda7b58711c31f7aa5
Signed-off-by: Varun Wadekar <vwadekar@nvidia.com>
Reviewed-on: http://git-master/r/338755
Diffstat (limited to 'security/tlk_driver/ote_fs.c')
0 files changed, 0 insertions, 0 deletions