added more types

[palacios.git] / palacios / include / xed / xed-types.h

diff --git a/palacios/include/xed/xed-types.h b/palacios/include/xed/xed-types.h
index 95eb199..4d65b36 100644 (file)
--- a/palacios/include/xed/xed-types.h
+++ b/palacios/include/xed/xed-types.h
@@ -40,8 +40,8 @@ END_LEGAL */
 #include <xed/xed-common-hdrs.h>
 
 
-typedef unsigned char          uint8_t;
-typedef unsigned short int     uint16_t;
+   //typedef unsigned char             uint8_t;
+//typedef unsigned short int   uint16_t;
 //typedef unsigned int         uint32_t;
 //typedef unsigned long int    uint64_t;