commit 4b32e6214d67f6e10c8899ca94e631e3a7fca841
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> Thu Aug 16 16:52:57 2018 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> Wed Aug 22 10:26:05 2018 +0100
tree 35c3e08ad22a78f0caa552cb266ae6bb45ec53ce
parent 17605e74566bab001f2266cdc30fb113b59f70bf

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>

include/services/secure_partition.h

diff --git a/include/services/secure_partition.h b/include/services/secure_partition.h
index d4aff1c..8b0adc8 100644
--- a/include/services/secure_partition.h
+++ b/include/services/secure_partition.h
@@ -7,7 +7,7 @@
 #ifndef __SECURE_PARTITION_H__
 #define __SECURE_PARTITION_H__
 
-#include <types.h>
+#include <stdint.h>
 #include <utils_def.h>
 
 /*