From 6441aa1abbe7bb04fc681999f25e618209a07bd9 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Thu, 26 Sep 2019 12:17:25 +0900
Subject: [PATCH] __sched_wakeup_thread(): check if timesharing needs to be
 enabled

Change-Id: I081d700f345abbbdb14dcac3b6246b79475d059b
---
 kernel/process.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/kernel/process.c b/kernel/process.c
index 617b2aef..f656e08a 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -3679,6 +3679,11 @@ int __sched_wakeup_thread(struct thread *thread,
 
 		/* Make interrupt_exit() call schedule() */
 		v->flags |= CPU_FLAG_NEED_RESCHED;
+
+		/* Make sure to check if timer needs to be re-enabled */
+		if (thread->cpu_id == ihk_mc_get_processor_id()) {
+			set_timer(1);
+		}
 	}
 	else {
 		status = -EINVAL;