diff options
Diffstat (limited to 'firmware/kernel')
-rw-r--r-- | firmware/kernel/thread.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/firmware/kernel/thread.c b/firmware/kernel/thread.c index 01395a9d6d..05c09dc594 100644 --- a/firmware/kernel/thread.c +++ b/firmware/kernel/thread.c | |||
@@ -193,7 +193,6 @@ static NO_INLINE NORETURN_ATTR | |||
193 | static char name[sizeof (((struct thread_debug_info *)0)->name)]; | 193 | static char name[sizeof (((struct thread_debug_info *)0)->name)]; |
194 | format_thread_name(name, sizeof (name), thread); | 194 | format_thread_name(name, sizeof (name), thread); |
195 | panicf ("%s %s" IF_COP(" (%d)"), msg, name IF_COP(, core)); | 195 | panicf ("%s %s" IF_COP(" (%d)"), msg, name IF_COP(, core)); |
196 | while (1); | ||
197 | } | 196 | } |
198 | 197 | ||
199 | static NO_INLINE void thread_stkov(struct thread_entry *thread) | 198 | static NO_INLINE void thread_stkov(struct thread_entry *thread) |