sched_yield
sched_yield();
SYSCALL_NOT_PRESENT_GEN(sched_yield)
int sched_yield(void);
EXPECT_OK(sched_yield());
if (sched_yield() == -1)
if (sched_yield() == -1)