Go to the documentation of this file.
36 # define _XED_TYPES_H_
42 #if defined(__GNUC__) || defined(__ICC)
44 # define xed_uint8_t uint8_t
45 # define xed_uint16_t uint16_t
46 # define xed_uint32_t uint32_t
47 # define xed_uint64_t uint64_t
48 # define xed_int8_t int8_t
49 # define xed_int16_t int16_t
50 # define xed_int32_t int32_t
51 # define xed_int64_t int64_t
53 # define xed_uint8_t unsigned __int8
54 # define xed_uint16_t unsigned __int16
55 # define xed_uint32_t unsigned __int32
56 # define xed_uint64_t unsigned __int64
57 # define xed_int8_t __int8
58 # define xed_int16_t __int16
59 # define xed_int32_t __int32
60 # define xed_int64_t __int64
62 # error "XED types unsupported platform? Need windows, gcc, or icc."
86 xed_int16_t s_word[2];
105 xed_uint16_t word[4];
106 xed_uint32_t dword[2];
107 xed_int8_t s_byte[8];
108 xed_int16_t s_word[4];
109 xed_int32_t s_dword[2];