X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fxed%2Fxed-types.h;h=4d65b363005cc21409c535d2e346968e3b2f6c18;hb=bcd3b6c3cc285fcb6ef02e553b3a3f166d652c7e;hp=95eb199b1addfd18b3d87263dc4dcdeafda8f4df;hpb=24fcab4d8b04686973b9318289d26c30c8873a38;p=palacios.git

diff --git a/palacios/include/xed/xed-types.h b/palacios/include/xed/xed-types.h
index 95eb199..4d65b36 100644
--- 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;