From 3e254c06bf87c016a2cbecf379f84d927e9612f6 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Mon, 20 Apr 2020 20:28:26 +0900
Subject: [PATCH] SCD_MSG_WAKE_UP_SYSCALL_THREAD: hold target thread through
 wake-up

Change-Id: I35b2c56f78430135b2d197d2a2cfe364dbd03947
---
 kernel/host.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/host.c b/kernel/host.c
index 76bd9b46..6a07b495 100644
--- a/kernel/host.c
+++ b/kernel/host.c
@@ -690,11 +690,11 @@ static int syscall_packet_handler(struct ihk_ikc_channel_desc *c,
 			ret = -EINVAL;
 			break;
 		}
-		thread_unlock(thread);
 
 		dkprintf("%s: SCD_MSG_WAKE_UP_SYSCALL_THREAD: waking up tid %d\n",
 			__FUNCTION__, packet->ttid);
 		waitq_wakeup(&thread->scd_wq);
+		thread_unlock(thread);
 		ret = 0;
 		break;