diff options
| author | Damien Zammit <damien@zamaudio.com> | 2023-09-29 04:59:44 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-09-29 11:04:37 +0200 |
| commit | dc8b8ba82a33897cd5cf89a61f1b1599e9a30f8b (patch) | |
| tree | 5559186a4db64c78ff00e4b8547fc34119f17ba9 /kern | |
| parent | b78e0fc8201610a7a17a163701ac06422c0a74b0 (diff) | |
kdb: Add "show all runqs" debug command
Message-Id: <20230929045936.31535-1-damien@zamaudio.com>
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/sched_prim.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/sched_prim.h b/kern/sched_prim.h index 405e5456..c250b220 100644 --- a/kern/sched_prim.h +++ b/kern/sched_prim.h @@ -184,5 +184,6 @@ void thread_check(thread_t th, run_queue_t rq); extern void idle_thread(void) __attribute__((noreturn)); extern void sched_thread(void); +extern int stuck_count; #endif /* _KERN_SCHED_PRIM_H_ */ |