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