linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h
<<
>>
Prefs
   1/* SPDX-License-Identifier: GPL-2.0 */
   2#ifndef INT_TYPEDEFS_H
   3#define INT_TYPEDEFS_H
   4
   5#include <inttypes.h>
   6
   7typedef int8_t s8;
   8typedef uint8_t u8;
   9typedef int16_t s16;
  10typedef uint16_t u16;
  11typedef int32_t s32;
  12typedef uint32_t u32;
  13typedef int64_t s64;
  14typedef uint64_t u64;
  15
  16typedef int8_t __s8;
  17typedef uint8_t __u8;
  18typedef int16_t __s16;
  19typedef uint16_t __u16;
  20typedef int32_t __s32;
  21typedef uint32_t __u32;
  22typedef int64_t __s64;
  23typedef 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
  35