tree 3a337214dc909bf3f0f1f085a4dcfd2c079a240d
parent 524ed6aecfe2ce697cc0ed18338bb60818933b17
author Arve Hjønnevåg <arve@android.com> 1464320647 -0700
committer Arve Hjønnevåg <arve@android.com> 1465600737 -0700

[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