1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
| /* SPDX-License-Identifier: GPL-2.0 */
| #ifndef _VM_BASIC_TYPES_H_
| #define _VM_BASIC_TYPES_H_
| #include <linux/kernel.h>
|
| typedef u32 uint32;
| typedef s32 int32;
| typedef u64 uint64;
| typedef u16 uint16;
| typedef s16 int16;
| typedef u8 uint8;
| typedef s8 int8;
|
| typedef uint64 PA;
| typedef uint32 PPN;
| typedef uint64 PPN64;
|
| typedef bool Bool;
|
| #define MAX_UINT32 U32_MAX
|
| #endif
|
|
