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
..
arm	Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers	2016-04-12 16:51:39 +01:00
auth	TBB: add non-volatile counter support	2016-03-31 13:29:17 +01:00
cadence	drivers: Add Cadence UART driver	2016-04-01 11:43:45 -07:00
io	Remove deprecated IO return definitions	2015-11-02 10:47:01 +00:00
ti/uart	Driver for 16550 UART interface	2015-05-29 11:25:20 +05:30
console.h	Introduce console_uninit() API in ARM Trusted Firmware	2015-12-09 16:38:29 +00:00
delay_timer.h	Fix SP804 delay timer on FVP	2015-12-04 10:23:33 +00:00
gpio.h	gpio: add gpio framework	2016-02-12 23:19:12 +08:00