23614b0f ^
1 2 3 4 5 6 7
#include <threads.h> #include "syscall.h" void thrd_yield() { __syscall(SYS_sched_yield); }