sched_yield
SYSCALL_NOT_PRESENT_GEN(sched_yield)
int sched_yield(void);
struct sched_yield_args sched_yield;
if (sched_yield() == -1)
if (sched_yield() == -1)
while(pcf->cf_lock==1) sched_yield();