include/stdint.h: Use _uintmax_t and _intmax_t from arch types.h

As we do for other intXX_t types.
2020-11-05 14:50:02 +09:00 · 2020-11-05 14:50:02 +09:00 · c10a8dc73b
parent 4d2727c193
commit c10a8dc73b
1 changed files with 2 additions and 7 deletions
--- a/include/stdint.h
+++ b/include/stdint.h
@ -300,13 +300,8 @@ typedef _uint_farptr_t      uint_farptr_t;

 /* Greatest-width integer types */

-#ifdef __INT64_DEFINED
-typedef _int64_t            intmax_t;
-typedef _uint64_t           uintmax_t;
-#else
-typedef _int32_t            intmax_t;
-typedef _uint32_t           uintmax_t;
-#endif
+typedef _intmax_t           intmax_t;
+typedef _uintmax_t          uintmax_t;

 #endif /* CONFIG_ARCH_STDINT_H */
 #endif /* __INCLUDE_STDINT_H */