Usermode/include/stdint.h

   1 /*
   2  */
   3 #ifndef _STDINT_H_
   4 #define _STDINT_H_
   5
   6 #define INT_MIN -0x80000000
   7 #define INT_MAX 0x7FFFFFFF
   8
   9 typedef unsigned char   uint8_t;
  10 typedef unsigned short  uint16_t;
  11 typedef unsigned int    uint32_t;
  12 typedef unsigned long long      uint64_t;
  13
  14 typedef signed char             int8_t;
  15 typedef signed short    int16_t;
  16 typedef signed int              int32_t;
  17 typedef signed long long        int64_t;
  18
  19 #if ARCHDIR_is_x86
  20 typedef int32_t         intptr_t;
  21 typedef uint32_t        uintptr_t;
  22 #elif ARCHDIR_is_x86_64
  23 typedef int64_t         intptr_t;
  24 typedef uint64_t        uintptr_t;
  25 #elif ARCHDIR_is_armv7
  26 typedef int32_t         intptr_t;
  27 typedef uint32_t        uintptr_t;
  28 #else
  29 # error "Unknown pointer size"
  30 #endif
  31
  32 //typedef uint64_t      off_t;
  33
  34 #endif