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