GPI2-nosse.patch

   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