X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fxed%2Fxed-types.h;h=4d65b363005cc21409c535d2e346968e3b2f6c18;hb=30409ee6691f594c5d8b0a2be0769d163d4c7c1a;hp=95eb199b1addfd18b3d87263dc4dcdeafda8f4df;hpb=0848f06f791602a82524d7fb0079e3c573894a61;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;