From 02462972c952c1b750b011f7e985d04d0a1556aa Mon Sep 17 00:00:00 2001 From: Juan Castillo Date: Tue, 9 Sep 2014 09:49:23 +0100 Subject: 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 --- drivers/arm/cci/cci.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'drivers/arm/cci/cci.c') diff --git a/drivers/arm/cci/cci.c b/drivers/arm/cci/cci.c index 44916d4b0..2e773a98b 100644 --- a/drivers/arm/cci/cci.c +++ b/drivers/arm/cci/cci.c @@ -33,8 +33,9 @@ #include #include #include +#include -static unsigned long g_cci_base; +static uintptr_t g_cci_base; static unsigned int g_max_master_id; static const int *g_cci_slave_if_map; @@ -74,7 +75,7 @@ static int validate_cci_map(const int *map) } #endif /* DEBUG */ -void cci_init(unsigned long cci_base, +void cci_init(uintptr_t cci_base, const int *map, unsigned int num_cci_masters) { -- cgit v1.2.3