tree 192d819b95d79fdda7aac5e2a016b310b586b7fc
parent 70fafab36bbd3951a84c19013e5de8b072cb932d
author Yatharth Kochar <yatharth.kochar@arm.com> 1460122844 +0100
committer Yatharth Kochar <yatharth.kochar@arm.com> 1460476299 +0100

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