0b44a031
adbf0258 ^
aa398f56 ^
1 2
3
4
5
6
7
#include <sched.h> #include "syscall.h" int sched_yield() { return syscall(SYS_sched_yield); }