diff --git a/arch/x86_64/include/intel64/types.h b/arch/x86_64/include/intel64/types.h
index d51cb945dbc..aca6a76ad15 100644
--- a/arch/x86_64/include/intel64/types.h
+++ b/arch/x86_64/include/intel64/types.h
@@ -62,6 +62,9 @@ typedef signed long        _int64_t;
 typedef unsigned long      _uint64_t;
 #define __INT64_DEFINED
 
+typedef _int64_t           _intmax_t;
+typedef _uint64_t          _uintmax_t;
+
 /* A pointer is 8 bytes */
 
 typedef signed long long         _intptr_t;