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