schedctl_set_yield
schedctl_set_yield(t, 1);
schedctl_set_yield(t, 1);
schedctl_set_yield(t, 0);
schedctl_set_yield(t, 1);
schedctl_set_yield(t, 1);
schedctl_set_yield(t, 0);
schedctl_set_yield(t, 1);
schedctl_set_yield(t, 1);
schedctl_set_yield(t, 0);
void schedctl_set_yield(kthread_t *, short);