From 2b9a0535041d064f9224c7580662055117123d38 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Thu, 26 Sep 2019 12:18:43 +0900
Subject: [PATCH] syscall offload: avoid double IRQ enabling

Change-Id: I202c9f348b66672b1c9f8c146d4e28ec1d9c7658
---
 kernel/syscall.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/syscall.c b/kernel/syscall.c
index e878fe13..0d2a2f8b 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -292,6 +292,7 @@ schedule:
 				cpu_restore_interrupt(flags);
 				schedule();
 				waitq_finish_wait(&thread->scd_wq, &scd_wq_entry);
+				continue;
 			}
 			else {
 				if (do_schedule) {