stdint.h revision 1aca4565aba1b5dc5dfbbfe4446f630b846fe01f 
1#ifndef STDINT_H
2#define STDINT_H
3
4#ifdef __INT32_TYPE__
5typedef unsigned __INT32_TYPE__ uint32_t;
6#endif
7
8#ifdef __INT64_TYPE__
9typedef unsigned __INT64_TYPE__ uint64_t;
10#endif
11
12#ifdef __INTPTR_TYPE__
13typedef unsigned __INTPTR_TYPE__ uintptr_t;
14#else
15#error Every target should have __INTPTR_TYPE__
16#endif
17
18#endif /* STDINT_H */
19