thread_load
thread_load(t, proc, arg, len);
extern void thread_load(kthread_t *, void (*)(), caddr_t, size_t);