diff options
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_ */ |