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