tree f2bbccd2b8b8243dc899625a3383d74fc64ba96f
parent 094c132c0673cedc20098e20dd8db0fe27d8b944
author Juan Castillo <juan.castillo@arm.com> 1410252563 +0100
committer Juan Castillo <juan.castillo@arm.com> 1436439212 +0100

Use uintptr_t as base address type in ARM driver APIs

This patch changes the type of the base address parameter in the
ARM device driver APIs to uintptr_t (GIC, CCI, TZC400, PL011). The
uintptr_t type allows coverage of the whole memory space and to
perform arithmetic operations on the addresses. ARM platform code
has also been updated to use uintptr_t as GIC base address in the
configuration.

Fixes ARM-software/tf-issues#214

Change-Id: I1b87daedadcc8b63e8f113477979675e07d788f1