diff -r a27880c1288b -r ca4663e58916 src/os_cpu/linux_zero/vm/os_linux_zero.cpp
--- a/src/os_cpu/linux_zero/vm/os_linux_zero.cpp	Tue Apr 14 11:40:13 2015 +0200
+++ b/src/os_cpu/linux_zero/vm/os_linux_zero.cpp	Thu May 03 18:59:48 2018 +0200
@@ -408,6 +408,7 @@
 
 extern "C" {
   int SpinPause() {
+    return 0; // Shouldn't matter.
   }