diff --git a/arch/misoc/include/types.h b/arch/misoc/include/types.h
index e448a8cd3c..c04aec0779 100644
--- a/arch/misoc/include/types.h
+++ b/arch/misoc/include/types.h
@@ -76,6 +76,9 @@ typedef signed long long   _int64_t;
 typedef unsigned long long _uint64_t;
 #define __INT64_DEFINED
 
+typedef _int64_t           _intmax_t;
+typedef _uint64_t          _uintmax_t;
+
 /* A size is 4 bytes */
 
 #if defined(__SIZE_TYPE__)