Index: stdint.h
===================================================================
RCS file: /space2/ncvs/src/sys/sys/stdint.h,v
retrieving revision 1.4
diff -u -p -r1.4 stdint.h
--- stdint.h	21 Aug 2002 16:20:01 -0000	1.4
+++ stdint.h	18 Nov 2002 20:44:55 -0000
@@ -94,8 +94,11 @@ typedef	__uint_fast16_t		uint_fast16_t;
 typedef	__uint_fast32_t		uint_fast32_t;
 typedef	__uint_fast64_t		uint_fast64_t;
 
+#ifndef _INTMAX_T_DECLARED
 typedef	__intmax_t		intmax_t;
 typedef	__uintmax_t		uintmax_t;
+#define	_INTMAX_T_DECLARED
+#endif
 
 #ifndef _INTPTR_T_DECLARED
 typedef	__intptr_t		intptr_t;
Index: types.h
===================================================================
RCS file: /space2/ncvs/src/sys/sys/types.h,v
retrieving revision 1.78
diff -u -p -r1.78 types.h
--- types.h	22 Oct 2002 09:57:34 -0000	1.78
+++ types.h	18 Nov 2002 20:44:11 -0000
@@ -106,6 +106,12 @@ typedef	__uintptr_t	uintptr_t;
 #define	_INTPTR_T_DECLARED
 #endif
 
+#ifndef _INTMAX_T_DECLARED
+typedef	__intmax_t	intmax_t;
+typedef	__uintmax_t	uintmax_t;
+#define	_INTMAX_T_DECLARED
+#endif
+
 typedef __uint8_t	u_int8_t;	/* unsigned integrals (deprecated) */
 typedef __uint16_t	u_int16_t;
 typedef __uint32_t	u_int32_t;