diff options
| author | Juan Castillo <juan.castillo@arm.com> | 2014-09-09 09:49:23 +0100 |
|---|---|---|
| committer | Juan Castillo <juan.castillo@arm.com> | 2015-07-09 11:53:32 +0100 |
| commit | 02462972c952c1b750b011f7e985d04d0a1556aa (patch) | |
| tree | f2bbccd2b8b8243dc899625a3383d74fc64ba96f /drivers/arm/cci400/cci400.c | |
| parent | 84f95bed549eab4ca40fbd0505e0e3720384880c (diff) | |
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
Diffstat (limited to 'drivers/arm/cci400/cci400.c')
| -rw-r--r-- | drivers/arm/cci400/cci400.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/drivers/arm/cci400/cci400.c b/drivers/arm/cci400/cci400.c index f832af82..242e1fa4 100644 --- a/drivers/arm/cci400/cci400.c +++ b/drivers/arm/cci400/cci400.c @@ -33,14 +33,15 @@ #include <cci400.h> #include <debug.h> #include <mmio.h> +#include <stdint.h> #define MAX_CLUSTERS 2 -static unsigned long cci_base_addr; +static uintptr_t cci_base_addr; static unsigned int cci_cluster_ix_to_iface[MAX_CLUSTERS]; -void cci_init(unsigned long cci_base, +void cci_init(uintptr_t cci_base, int slave_iface3_cluster_ix, int slave_iface4_cluster_ix) { |