diff --git a/include/lib/stdlib/sys/cdefs.h b/include/lib/stdlib/sys/cdefs.h
index 16fb151..27f73fc 100644
--- a/include/lib/stdlib/sys/cdefs.h
+++ b/include/lib/stdlib/sys/cdefs.h
@@ -36,6 +36,9 @@
 #ifndef	_SYS_CDEFS_H_
 #define	_SYS_CDEFS_H_
 
+/* Defined here for compatibility with the Trusted Firmware source code */
+#define __init
+
 #if defined(__cplusplus)
 #define	__BEGIN_DECLS	extern "C" {
 #define	__END_DECLS	}
diff --git a/include/lib/stdlib/sys/stdint.h b/include/lib/stdlib/sys/stdint.h
index aa5ac81..fb6e35a 100644
--- a/include/lib/stdlib/sys/stdint.h
+++ b/include/lib/stdlib/sys/stdint.h
@@ -31,6 +31,7 @@
 
 #include <sys/cdefs.h>
 #include <sys/_types.h>
+#include <sys/types.h>
 
 #include <machine/_stdint.h>
 #include <sys/_stdint.h>