cleanup
[rpikern] / src / libc / stdint.h
index 7050344..c9f87e4 100644 (file)
@@ -1,12 +1,6 @@
 #ifndef LIBC_STDINT_H_
 #define LIBC_STDINT_H_
 
-typedef char int8_t;
-typedef short int16_t;
-typedef long int32_t;
-
-typedef unsigned char uint8_t;
-typedef unsigned short uint16_t;
-typedef unsigned long uint32_t;
+#include "inttypes.h"
 
 #endif /* LIBC_STDINT_H_ */