1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #pragma once
8 
9 #include <mode/stdint.h>
10 
11 typedef unsigned char uint8_t;
12 typedef unsigned short uint16_t;
13 typedef unsigned int uint32_t;
14 typedef unsigned long long uint64_t;
15 
16 typedef signed char int8_t;
17 typedef signed short int16_t;
18 typedef signed int int32_t;
19 typedef signed long long int64_t;
20 
21 #define UINT64_MAX (0xFFFFFFFFFFFFFFFF)
22 #define UINT32_MAX (0xFFFFFFFF)
23 #define INT64_MAX  (0x7FFFFFFFFFFFFFFF)
24 #define INT32_MAX  (0x7FFFFFFF)
25 
26 #define PRId64     "lld"
27 #define PRIi64     "lli"
28 #define PRIu64     "llu"
29 #define PRIx64     "llx"
30