/* 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 |