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