diff options
Diffstat (limited to 'firmware')
| -rw-r--r-- | firmware/thread.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/firmware/thread.c b/firmware/thread.c index 48734f2ffe..de9d05da88 100644 --- a/firmware/thread.c +++ b/firmware/thread.c | |||
| @@ -157,11 +157,11 @@ static inline void load_context(const void* addr) | |||
| 157 | __attribute__((always_inline)); | 157 | __attribute__((always_inline)); |
| 158 | 158 | ||
| 159 | #if NUM_CORES > 1 | 159 | #if NUM_CORES > 1 |
| 160 | static void __attribute__((noinline, noreturn)) | 160 | static void thread_final_exit(struct thread_entry *current) |
| 161 | thread_final_exit(struct thread_entry *current); | 161 | __attribute__((noinline, noreturn)); |
| 162 | #else | 162 | #else |
| 163 | static void __attribute__((always_inline, noreturn)) | 163 | static inline void thread_final_exit(struct thread_entry *current) |
| 164 | thread_final_exit(struct thread_entry *current); | 164 | __attribute__((always_inline, noreturn)); |
| 165 | #endif | 165 | #endif |
| 166 | 166 | ||
| 167 | void switch_thread(void) | 167 | void switch_thread(void) |