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 11typedef unsigned char uint8_t; 12typedef unsigned short uint16_t; 13typedef unsigned int uint32_t; 14typedef unsigned long long uint64_t; 15 16typedef signed char int8_t; 17typedef signed short int16_t; 18typedef signed int int32_t; 19typedef 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