arm-trusted-firmware/plat/rpi3
Antonio Nino Diaz 93c78ed231 libc: Fix all includes in codebase
The codebase was using non-standard headers. It is needed to replace
them by the correct ones so that we can use the new libc headers.

Change-Id: I530f71d9510cb036e69fe79823c8230afe890b9d
Acked-by: Sumit Garg <sumit.garg@linaro.org>
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
2018-08-22 10:26:05 +01:00
..
aarch64 rpi3: Don't wire mailbox 3 to FIQ line 2018-07-16 15:56:42 +01:00
include Merge pull request #1530 from antonio-nino-diaz-arm/an/rpi3-deprecated 2018-08-22 10:24:06 +01:00
platform.mk Merge pull request #1530 from antonio-nino-diaz-arm/an/rpi3-deprecated 2018-08-22 10:24:06 +01:00
rpi3_bl1_setup.c rpi3: Detect board revision 2018-07-14 02:15:55 +01:00
rpi3_bl2_setup.c rpi3: Migrate from deprecated APIs 2018-08-17 14:25:08 +01:00
rpi3_bl31_setup.c rpi3: Migrate from deprecated APIs 2018-08-17 14:25:08 +01:00
rpi3_common.c rpi3: Implement simple interrupt routing 2018-07-11 21:00:32 +01:00
rpi3_hw.h rpi3: Introduce hardware RNG driver 2018-07-16 15:56:42 +01:00
rpi3_image_load.c rpi3: Introduce AArch64 Raspberry Pi 3 port 2017-12-01 10:20:47 +00:00
rpi3_io_storage.c rpi3: Add support for Trusted Board Boot 2018-07-05 14:58:51 +08:00
rpi3_mbox.c rpi3: Detect board revision 2018-07-14 02:15:55 +01:00
rpi3_pm.c rpi3: Fix warm entrypoint setup for PSCI_CPU_ON 2018-07-16 15:56:42 +01:00
rpi3_private.h libc: Fix all includes in codebase 2018-08-22 10:26:05 +01:00
rpi3_rng.c rpi3: Introduce hardware RNG driver 2018-07-16 15:56:42 +01:00
rpi3_rotpk.S rpi3: Add support for Trusted Board Boot 2018-07-05 14:58:51 +08:00
rpi3_stack_protector.c libc: Fix all includes in codebase 2018-08-22 10:26:05 +01:00
rpi3_topology.c libc: Fix all includes in codebase 2018-08-22 10:26:05 +01:00
rpi3_trusted_boot.c rpi3: Add support for Trusted Board Boot 2018-07-05 14:58:51 +08:00