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