1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#include <threads.h> #include "syscall.h" void thrd_yield() { __syscall(SYS_sched_yield); } #ifdef TEST int main(void) { return 0; } #endif