Yatharth Kochar 9fbdb80209 Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers ... Currently the `tzc400_configure_region` and `tzc_dmc500_configure_region` functions uses uintptr_t as the data type for `region_top` and `region_base` variables, which will be converted to 32/64 bits for AArch32/AArch64 respectively. But the expectation is to keep these addresses at least 64 bit. This patch modifies the data types to make it at least 64 bit by using unsigned long long instead of uintptr_t for the `region_top` and `region_base` variables. It also modifies the associated macros `_tzc##fn_name##_write_region_xxx` accordingly. Change-Id: I4e3c6a8a39ad04205cf0f3bda336c3970b15a28b		2016-04-12 16:51:39 +01:00
..
cci	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
cci400	Fix debug assertion in deprecated CCI-400 driver	2015-10-12 10:21:55 +01:00
ccn	Bug fix: Rectify logic to enter or exit from DVM domain	2016-02-08 10:42:56 +00:00
gic	Add support for %p in tf_printf()	2016-02-18 09:45:39 +00:00
pl011	Fix potential deadlock in PL011 init function	2016-02-24 10:05:11 +00:00
pl061	arm: gpio: add pl061 driver	2016-02-12 23:19:48 +08:00
sp804	Add SP804 delay timer driver	2015-06-18 16:06:26 +01:00
sp805	Add a simple ARM SP805 watchdog driver	2015-11-27 09:34:20 +00:00
tzc	Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers	2016-04-12 16:51:39 +01:00
tzc400	Refactor the ARM CoreLink TZC-400 driver	2016-03-31 21:23:23 +01:00