commit | 226e8b3b5577da4d4df54bb845f790d306642657 | [log] [tgz] |
---|---|---|
author | Arve Hjønnevåg <arve@android.com> | Thu May 26 20:44:07 2016 -0700 |
committer | Arve Hjønnevåg <arve@android.com> | Fri Jun 10 16:18:57 2016 -0700 |
tree | 3a337214dc909bf3f0f1f085a4dcfd2c079a240d | |
parent | 524ed6aecfe2ce697cc0ed18338bb60818933b17 [diff] |
[lib][trusty] Don't use paddr_t in user-space api paddr_t is currently defined to uintptr_t which is not the same size in a 64 bit kernel and 32-bit user-space. Change-Id: I4145aea96cbc2139eea0242e6842e2c63a87de95