#include <syscall.h> #include <syscall_nums.h> #include <sched.h> #include <errno.h> DEFN_SYSCALL0(yield, SYS_YIELD); int sched_yield(void) { __sets_errno(syscall_yield()); }