]>
Commit | Line | Data |
---|---|---|
18bf5c70 JB |
1 | --- GPI2-1.1.0/src/GPI2_Utility.h.orig 2014-09-03 17:40:08.285630994 +0200 |
2 | +++ GPI2-1.1.0/src/GPI2_Utility.h 2014-09-03 17:36:54.835639111 +0200 | |
3 | @@ -25,7 +25,6 @@ | |
4 | #include <stdlib.h> | |
5 | #include <stdio.h> | |
6 | #include <time.h> | |
7 | -#include <xmmintrin.h> | |
8 | ||
9 | #ifdef DEBUG | |
10 | #define gaspi_print_error(msg, ...) \ | |
11 | @@ -51,7 +50,12 @@ | |
12 | #ifdef MIC | |
13 | #define gaspi_delay() _mm_delay_32(32) | |
14 | #else | |
15 | -#define gaspi_delay() _mm_pause() | |
16 | +#if defined(__i386__) || defined(__x86_64__) | |
17 | +#define gaspi_delay() __builtin_ia32_pause() | |
18 | +#else | |
19 | +#include <unistd.h> | |
20 | +#define gaspi_delay() usleep(0) | |
21 | +#endif | |
22 | #endif | |
23 | ||
24 |