root/drivers/gpu/drm/vmwgfx/device_include/vm_basic_types.h

   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 
   6 typedef u32 uint32;
   7 typedef s32 int32;
   8 typedef u64 uint64;
   9 typedef u16 uint16;
  10 typedef s16 int16;
  11 typedef u8  uint8;
  12 typedef s8  int8;
  13 
  14 typedef uint64 PA;
  15 typedef uint32 PPN;
  16 typedef uint64 PPN64;
  17 
  18 typedef bool Bool;
  19 
  20 #define MAX_UINT32 U32_MAX
  21 
  22 #endif