diff --git a/arch/x86/include/i486/types.h b/arch/x86/include/i486/types.h
index c5e665213f..378ae339d3 100644
--- a/arch/x86/include/i486/types.h
+++ b/arch/x86/include/i486/types.h
@@ -77,6 +77,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__)