X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_types.h;h=1cb139fa9fc746580cf323c14a187dd0623fc06d;hb=b527f44a71d32952d7b129a7ce5dbeb3969fb8d2;hp=f885bf217d7adf80e7f286113c72367d56f90004;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios.git

diff --git a/palacios/include/palacios/vmm_types.h b/palacios/include/palacios/vmm_types.h
index f885bf2..1cb139f 100644
--- a/palacios/include/palacios/vmm_types.h
+++ b/palacios/include/palacios/vmm_types.h
@@ -4,22 +4,34 @@
 #include <geekos/ktypes.h>
 
 /*
-
-typedef signed char s8;
+typedef signed char schar_t;
 typedef unsigned char uchar_t;
 
-typedef signed short s16;
+typedef signed short sshort_t;
 typedef unsigned short ushort_t;
 
-typedef signed int s32;
+typedef signed int sint_t;
 typedef unsigned int uint_t;
 
-typedef signed long long s64;
+typedef signed long long sllong_t;
 typedef unsigned long long ullong_t;
 
+typedef signed long slong_t;
 typedef unsigned long ulong_t;
 
 typedef unsigned long size_t;
 
 */
+
+
+
+
+typedef unsigned long long uint64_t;
+typedef long long sint64_t;
+
+typedef unsigned int uint32_t;
+typedef int sint32_t;
+
+typedef ulong_t addr_t;
+
 #endif