Juan Castillo 02462972c9 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		2015-07-09 11:53:32 +01:00
..
arm	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
auth	TBB: add mbedTLS authentication related libraries	2015-06-25 08:53:27 +01:00
io	Use numbers to identify images instead of names	2015-06-25 08:53:26 +01:00
ti/uart	Driver for 16550 UART interface	2015-05-29 11:25:20 +05:30
console.h	Use uintptr_t as base address type in ARM driver APIs	2015-07-09 11:53:32 +01:00
delay_timer.h	Add a simple delay timer driver API	2015-06-17 13:13:54 +01:00