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