From d1c1a0aaef99cc4aabc386d6827598bebc8909fe Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Fri, 26 Aug 2016 07:05:56 +0200 Subject: [PATCH] revise get_next_core to return always a valid core_id --- hermit/kernel/tasks.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c index 535795d12..c9f5e1a4c 100644 --- a/hermit/kernel/tasks.c +++ b/hermit/kernel/tasks.c @@ -325,7 +325,7 @@ uint32_t get_next_core_id(void) if (readyqueues[core_id].idle) break; - if (BUILDTIN_EXPECT(!readyqueues[core_id].idle), 0) { + if (BUILTIN_EXPECT(!readyqueues[core_id].idle, 0)) { kprintf("BUG: no core available!\n"); return MAX_CORES; }