palacios/include/geekos/vmm_types.h

   1 #ifndef __VMM_TYPES_H
   2 #define __VMM_TYPES_H
   3
   4
   5
   6 typedef signed char s8;
   7 typedef unsigned char u8;
   8
   9 typedef signed short s16;
  10 typedef unsigned short u16;
  11
  12 typedef signed int s32;
  13 typedef unsigned int u32;
  14
  15 typedef signed long long s64;
  16 typedef unsigned long long u64;
  17
  18 typedef unsigned long size_t;
  19
  20
  21 #endif