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