diff options
| author | Juan Castillo <juan.castillo@arm.com> | 2014-09-09 09:49:23 +0100 |
|---|---|---|
| committer | Juan Castillo <juan.castillo@arm.com> | 2015-07-09 11:53:32 +0100 |
| commit | 02462972c952c1b750b011f7e985d04d0a1556aa (patch) | |
| tree | f2bbccd2b8b8243dc899625a3383d74fc64ba96f /drivers/console/console.S | |
| parent | 84f95bed549eab4ca40fbd0505e0e3720384880c (diff) | |
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
Diffstat (limited to 'drivers/console/console.S')
| -rw-r--r-- | drivers/console/console.S | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/console/console.S b/drivers/console/console.S index 85c8f658..d966f0d3 100644 --- a/drivers/console/console.S +++ b/drivers/console/console.S @@ -44,7 +44,7 @@ console_base: .quad 0x0 /* ----------------------------------------------- - * int console_init(unsigned long base_addr, + * int console_init(uintptr_t base_addr, * unsigned int uart_clk, unsigned int baud_rate) * Function to initialize the console without a * C Runtime to print debug information. It saves |