root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h

INCLUDED FROM

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef INT_TYPEDEFS_H
   3 #define INT_TYPEDEFS_H
   4 
   5 #include <inttypes.h>
   6 
   7 typedef int8_t s8;
   8 typedef uint8_t u8;
   9 typedef int16_t s16;
  10 typedef uint16_t u16;
  11 typedef int32_t s32;
  12 typedef uint32_t u32;
  13 typedef int64_t s64;
  14 typedef uint64_t u64;
  15 
  16 typedef int8_t __s8;
  17 typedef uint8_t __u8;
  18 typedef int16_t __s16;
  19 typedef uint16_t __u16;
  20 typedef int32_t __s32;
  21 typedef uint32_t __u32;
  22 typedef int64_t __s64;
  23 typedef uint64_t __u64;
  24 
  25 #define S8_C(x) INT8_C(x)
  26 #define U8_C(x) UINT8_C(x)
  27 #define S16_C(x) INT16_C(x)
  28 #define U16_C(x) UINT16_C(x)
  29 #define S32_C(x) INT32_C(x)
  30 #define U32_C(x) UINT32_C(x)
  31 #define S64_C(x) INT64_C(x)
  32 #define U64_C(x) UINT64_C(x)
  33 
  34 #endif