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 /include/lib/psci | |
| 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 'include/lib/psci')
| -rw-r--r-- | include/lib/psci/psci.h | 1 | ||||
| -rw-r--r-- | include/lib/psci/psci_lib.h | 3 |
2 files changed, 2 insertions, 2 deletions
diff --git a/include/lib/psci/psci.h b/include/lib/psci/psci.h index 71d605d6..fa0da9fe 100644 --- a/include/lib/psci/psci.h +++ b/include/lib/psci/psci.h @@ -171,7 +171,6 @@ #ifndef __ASSEMBLY__ #include <stdint.h> -#include <types.h> /* Function to help build the psci capabilities bitfield */ diff --git a/include/lib/psci/psci_lib.h b/include/lib/psci/psci_lib.h index 5b30f55e..134cad9e 100644 --- a/include/lib/psci/psci_lib.h +++ b/include/lib/psci/psci_lib.h @@ -10,7 +10,8 @@ #include <ep_info.h> #ifndef __ASSEMBLY__ -#include <types.h> +#include <cdefs.h> +#include <stdint.h> /******************************************************************************* * Optional structure populated by the Secure Payload Dispatcher to be given a |