Change mpmc pause implementation

lsds · Aug 22, 2020 · 1efba83 · 1efba83
1 parent e4dd516
commit 1efba83
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/lkl b/lkl
diff --git a/src/enclave/mpmc_queue.c b/src/enclave/mpmc_queue.c
@@ -41,7 +41,9 @@
 static void _mpmc_pause(void);
 static void _mpmc_pause()
 {
-    __asm__ __volatile__("pause" : : : "memory");
+#ifdef __x86__
+    __builtin_ia32_pause()
+#endif
 }
 
 /* user is responsible for freeing the queue buffer, but it's tied to the