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