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