#ifndef __VMM_TYPES_H
#define __VMM_TYPES_H

#include <geekos/ktypes.h>

/*

typedef signed char s8;
typedef unsigned char uchar_t;

typedef signed short s16;
typedef unsigned short ushort_t;

typedef signed int s32;
typedef unsigned int uint_t;

typedef signed long long s64;
typedef unsigned long long ullong_t;

typedef unsigned long ulong_t;

typedef unsigned long size_t;

*/
#endif