1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#pragma once
8
9typedef signed char int8_t;
10typedef short int16_t;
11typedef int int32_t;
12typedef long long int64_t;
13
14typedef unsigned char uint8_t;
15typedef unsigned short uint16_t;
16typedef unsigned int uint32_t;
17typedef unsigned long long uint64_t;
18
19#if defined(__KERNEL_32__)
20typedef uint32_t uintptr_t;
21typedef uint32_t size_t;
22typedef uint32_t word_t;
23#define BYTE_PER_WORD   4
24#elif defined(__KERNEL_64__)
25typedef uint64_t uintptr_t;
26typedef uint64_t size_t;
27typedef uint64_t word_t;
28#define BYTE_PER_WORD   8
29#endif
30
31#define UINT32_MAX    (0xffffffff)
32#define UINT64_MAX    (0xffffffffffffffffull)
33
34