arm-trusted-firmware/services/std_svc/sdei
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
..
sdei_dispatch.S SDEI: Make dispatches synchronous 2018-06-21 16:15:23 +01:00
sdei_event.c SDEI: MISRA fixes 2018-08-20 09:05:39 +01:00
sdei_intr_mgmt.c SDEI: Fix locking issues 2018-08-20 09:05:39 +01:00
sdei_main.c SDEI: MISRA fixes 2018-08-20 09:05:39 +01:00
sdei_private.h libc: Fix all includes in codebase 2018-08-22 10:26:05 +01:00
sdei_state.c SDEI: MISRA fixes 2018-08-20 09:05:39 +01:00