1 files changed, 6 insertions, 0 deletions
diff --git a/runtime/autoconf-synchronize-sched.c b/runtime/autoconf-synchronize-sched.c
new file mode 100644
index 00000000..0291092e
--- /dev/null
+++ b/runtime/autoconf-synchronize-sched.c
@@ -0,0 +1,6 @@
+#include <linux/sched.h>
+
+void foo (void)
+{
+  synchronize_sched ();
+}