thread_stack_trace 294 kernel/generic/include/proc/thread.h extern void thread_stack_trace(thread_id_t); thread_stack_trace 1275 kernel/generic/src/console/cmd.c thread_stack_trace(argv[0].intval);