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 /include/drivers/arm/tzc400.h | |
parent | 84f95bed549eab4ca40fbd0505e0e3720384880c (diff) | |
download | trusted-firmware-a-02462972c952c1b750b011f7e985d04d0a1556aa.tar.gz |
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 'include/drivers/arm/tzc400.h')
-rw-r--r-- | include/drivers/arm/tzc400.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/drivers/arm/tzc400.h b/include/drivers/arm/tzc400.h index 7b951d22de..a5312c47ee 100644 --- a/include/drivers/arm/tzc400.h +++ b/include/drivers/arm/tzc400.h @@ -189,7 +189,7 @@ typedef enum { } tzc_region_attributes_t; -void tzc_init(uint64_t base); +void tzc_init(uintptr_t base); void tzc_configure_region0(tzc_region_attributes_t sec_attr, uint32_t ns_device_access); void tzc_configure_region(uint32_t filters, |