]>
git.ipfire.org Git - people/arne_f/kernel.git/blob - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h
1 /* SPDX-License-Identifier: GPL-2.0 */
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
;
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)