Symbol: thread_check_permissions
src/system/kernel/thread.cpp
3181
if (!thread_check_permissions(currentThread, thread, kernel))
src/system/kernel/thread.cpp
3447
if (thread_is_idle_thread(thread) || !thread_check_permissions(