Symbol: thread_is_idle_thread
headers/private/kernel/thread.h
113
thread_is_idle_thread(Thread *thread)
src/tests/system/kernel/scheduler/override_types.h
53
thread_is_idle_thread(struct thread *thread)