switch-l4t-atf/drivers
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/uart drivers: Add Cadence UART driver 2016-04-01 11:43:45 -07:00
console Disable PL011 UART before configuring it 2016-01-21 17:27:47 +00:00
delay_timer Add a simple delay timer driver API 2015-06-17 13:13:54 +01:00
gpio gpio: add gpio framework 2016-02-12 23:19:12 +08:00
io Add "size" function to IO memmap device driver 2016-03-11 16:12:13 +01:00
ti/uart Driver for 16550 UART interface 2015-05-29 11:25:20 +05:30