diff options
Diffstat (limited to 'kern/thread.c')
| -rw-r--r-- | kern/thread.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kern/thread.c b/kern/thread.c index a753eb59..dd0d709f 100644 --- a/kern/thread.c +++ b/kern/thread.c @@ -2229,6 +2229,8 @@ thread_setup_runq(struct thread_runq *runq) thread_setup_idler(runq); } +#ifdef X15_SHELL + /* * This function is meant for debugging only. As a result, it uses a weak * locking policy which allows tracing threads which state may mutate during @@ -2279,6 +2281,8 @@ static struct shell_cmd thread_shell_cmds[] = { "print the stack trace of a given thread"), }; +#endif /* X15_SHELL */ + void __init thread_setup(void) { |