blob: f7ad13219ce0db9912d1eaf259fbf9048eda8a4f [file] [log] [blame]
#include <threads.h>
#include "syscall.h"
void thrd_yield()
{
__syscall(SYS_sched_yield);
}