schedctl_set_nopreempt
schedctl_set_nopreempt(t, 0);
void schedctl_set_nopreempt(kthread_t *, short);