path: root/runtime/autoconf-synchronize-sched.c

#include <linux/sched.h>

void foo (void)
{
  synchronize_sched ();
}