00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00039 #ifndef MNEMOSYNE_I_H_IBT0Y37D
00040 #define MNEMOSYNE_I_H_IBT0Y37D
00041
00042 #include <stdlib.h>
00043 #include <stddef.h>
00044 #include <stdbool.h>
00045 #include <stdint.h>
00046 #include <errno.h>
00047
00048 #include <debug.h>
00049
00050 #ifdef __i386__
00051 # define ITM_REGPARM __attribute__((regparm(2)))
00052 #else
00053 # define ITM_REGPARM
00054 #endif
00055
00056 #define ITM_NORETURN __attribute__((noreturn))
00057
00058 #include <xmmintrin.h>
00059
00060 typedef uint8_t _ITM_TYPE_U1;
00061 typedef uint16_t _ITM_TYPE_U2;
00062 typedef uint32_t _ITM_TYPE_U4;
00063 typedef uint64_t _ITM_TYPE_U8;
00064 typedef float _ITM_TYPE_F;
00065 typedef double _ITM_TYPE_D;
00066 typedef long double _ITM_TYPE_E;
00067 typedef __m64 _ITM_TYPE_M64;
00068 typedef __m128 _ITM_TYPE_M128;
00069 typedef float _Complex _ITM_TYPE_CF;
00070 typedef double _Complex _ITM_TYPE_CD;
00071 typedef long double _Complex _ITM_TYPE_CE;
00072
00073 #include "thrdesc.h"
00074
00075 #endif