Searched refs:sched_init_thread (Results 1 – 2 of 2) sorted by relevance
215 extern void sched_init_thread(void);
6428 result = kernel_thread_start_priority((thread_continue_t)sched_init_thread, in sched_startup()6639 sched_init_thread(void) in sched_init_thread() function