Soby Mathew a0ad6019ff Modify return type of plat_get_ns_image_entrypoint() ...

This patch modifies the return type of the platform API
`plat_get_ns_image_entrypoint()` from `unsigned long` to
`uintptr_t` in accordance with the coding guidelines.

Change-Id: Icb4510ca98b706aa4d535fe27e203394184fb4ca

2016-04-01 17:57:18 +01:00

..

bl1

FWU: Add Generic Firmware Update framework support in BL1

2015-12-09 17:41:18 +00:00

bl31

Remove direct usage of __attribute__((foo))

2016-01-14 10:55:17 -08:00

bl32

Enable use of FIQs and IRQs as TSP interrupts

2015-12-04 12:02:12 +00:00

common

Enable asynchronous abort exceptions during boot

2016-03-30 17:26:23 +02:00

drivers

Merge pull request #518 from hzhuang1/pl061_gpio_v5

2016-02-22 10:02:29 +00:00

lib

Add ISR_EL1 to crash report

2016-03-30 17:32:13 +02:00

plat

Modify return type of plat_get_ns_image_entrypoint()

2016-04-01 17:57:18 +01:00

stdlib

cdefs.h: Use __deprecated__ instead of deprecated

2016-01-20 15:45:39 -08:00