1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(GD_GPL)
9 */
10
11#ifndef __STDINT_H
12#define __STDINT_H
13
14#include <mode/stdint.h>
15
16typedef unsigned char uint8_t;
17typedef unsigned short uint16_t;
18typedef unsigned int uint32_t;
19typedef unsigned long long uint64_t;
20
21typedef signed char int8_t;
22typedef signed short int16_t;
23typedef signed int int32_t;
24typedef signed long long int64_t;
25
26#define UINT64_MAX (0xFFFFFFFFFFFFFFFF)
27#define UINT32_MAX (0xFFFFFFFF)
28#define INT64_MAX  (0x7FFFFFFFFFFFFFFF)
29#define INT32_MAX  (0x7FFFFFFF)
30
31#endif
32