aboutsummaryrefslogtreecommitdiff
path: root/include/drivers/arm/tzc400.h
diff options
context:
space:
mode:
authorJuan Castillo <juan.castillo@arm.com>2014-09-09 09:49:23 +0100
committerJuan Castillo <juan.castillo@arm.com>2015-07-09 11:53:32 +0100
commit02462972c952c1b750b011f7e985d04d0a1556aa (patch)
treef2bbccd2b8b8243dc899625a3383d74fc64ba96f /include/drivers/arm/tzc400.h
parent84f95bed549eab4ca40fbd0505e0e3720384880c (diff)
downloadtrusted-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.h2
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,