kthread_create    115 sys/include/thread.h thread_t kthread_create(void (*)(void *), void *, int);
kthread_create    105 sys/kern/irq.c 		irq->thread = kthread_create(&irq_thread, irq, ISTPRI(pri));
kthread_create    728 sys/kern/sched.c 	t = kthread_create(dpc_thread, NULL, PRI_DPC);
kthread_create    467 sys/kern/timer.c 	if (kthread_create(&timer_thread, NULL, PRI_TIMER) == NULL)