diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-16 16:52:57 +0100 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-22 10:26:05 +0100 |
| commit | 93c78ed231a6ea30f1c30ecbbb0f245fa9d75075 (patch) | |
| tree | 35c3e08ad22a78f0caa552cb266ae6bb45ec53ce /services | |
| parent | 2fb88cb2e9050d4cda97f8de1e8f000a28599869 (diff) | |
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>
Diffstat (limited to 'services')
| -rw-r--r-- | services/std_svc/sdei/sdei_private.h | 2 | ||||
| -rw-r--r-- | services/std_svc/spm/spm_shim_private.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/services/std_svc/sdei/sdei_private.h b/services/std_svc/sdei/sdei_private.h index d99aceac..f5197c61 100644 --- a/services/std_svc/sdei/sdei_private.h +++ b/services/std_svc/sdei/sdei_private.h @@ -17,7 +17,7 @@ #include <setjmp.h> #include <spinlock.h> #include <stdbool.h> -#include <types.h> +#include <stdint.h> #include <utils_def.h> #ifdef AARCH32 diff --git a/services/std_svc/spm/spm_shim_private.h b/services/std_svc/spm/spm_shim_private.h index 8408d1e0..e65ac44d 100644 --- a/services/std_svc/spm/spm_shim_private.h +++ b/services/std_svc/spm/spm_shim_private.h @@ -7,7 +7,7 @@ #ifndef __SPM_SHIM_PRIVATE__ #define __SPM_SHIM_PRIVATE__ -#include <types.h> +#include <stdint.h> #include <utils_def.h> /* Assembly source */ |