Use immintrin.h rather then emmintrin.h...
#include <hse_util/timing.h>
+#include <immintrin.h>
+
#ifndef SMP_CACHE_BYTES
#define SMP_CACHE_BYTES (64)
#endif
@@ -60,8 +62,6 @@ raw_smp_processor_id(void)
#endif
-#include <emmintrin.h>
-
static HSE_ALWAYS_INLINE void
cpu_relax(void)
{
