123456789#include "../base.h"#include <linux-syscalls/linux.h> void __linux_sched_yield(void){ LINUX_SYSCALL0(__NR_sched_yield);}