diff options
Diffstat (limited to 'firmware/thread.c')
-rw-r--r-- | firmware/thread.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/firmware/thread.c b/firmware/thread.c index b3d8ec3970..655af1a940 100644 --- a/firmware/thread.c +++ b/firmware/thread.c | |||
@@ -27,6 +27,7 @@ | |||
27 | #include "kernel.h" | 27 | #include "kernel.h" |
28 | #include "cpu.h" | 28 | #include "cpu.h" |
29 | #include "string.h" | 29 | #include "string.h" |
30 | #include "buffer.h" | ||
30 | #ifdef RB_PROFILE | 31 | #ifdef RB_PROFILE |
31 | #include <profile.h> | 32 | #include <profile.h> |
32 | #endif | 33 | #endif |
@@ -1160,6 +1161,16 @@ void switch_thread(void) | |||
1160 | if (UNLIKELY(thread->stack[0] != DEADBEEF) && thread->stack_size > 0) | 1161 | if (UNLIKELY(thread->stack[0] != DEADBEEF) && thread->stack_size > 0) |
1161 | thread_stkov(thread); | 1162 | thread_stkov(thread); |
1162 | 1163 | ||
1164 | #ifdef BUFFER_ALLOC_DEBUG | ||
1165 | /* Check if the current thread just did bad things with buffer_alloc()ed | ||
1166 | * memory */ | ||
1167 | { | ||
1168 | static char name[32]; | ||
1169 | thread_get_name(name, 32, thread); | ||
1170 | buffer_alloc_check(name); | ||
1171 | } | ||
1172 | #endif | ||
1173 | |||
1163 | #if NUM_CORES > 1 | 1174 | #if NUM_CORES > 1 |
1164 | /* Run any blocking operations requested before switching/sleeping */ | 1175 | /* Run any blocking operations requested before switching/sleeping */ |
1165 | run_blocking_ops(core, thread); | 1176 | run_blocking_ops(core, thread); |