diff options
| author | Etienne Carriere <etienne.carriere@linaro.org> | 2019-04-26 17:53:54 +0200 |
|---|---|---|
| committer | Jérôme Forissier <jerome.forissier@linaro.org> | 2019-05-06 19:21:12 +0200 |
| commit | d62792a008c4cba8ab7f63c4abc733dcb5d7c17c (patch) | |
| tree | 68e5e67c3c7eec2182317137be18e09db3f8f758 /core/kernel/tee_ta_manager.c | |
| parent | 082f27aed3757fbd41fb81cf1e11179fc2453cfd (diff) | |
stm32mp1: clean shared resource to use vaddr_t
Replace type uintptr_t with type vaddr_t when applicable for consistency
with other resources.
Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Diffstat (limited to 'core/kernel/tee_ta_manager.c')
0 files changed, 0 insertions, 0 deletions