schedctl_finish_sigblock
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(curthread);
void schedctl_finish_sigblock(kthread_t *);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(t);
schedctl_finish_sigblock(curthread);
schedctl_finish_sigblock(curthread);