From f18d1f5383c0b26022ed72265caaad68fec516a5 Mon Sep 17 00:00:00 2001
From: Masamichi Takagi <masamichi.takagi@riken.jp>
Date: Thu, 16 Aug 2018 16:36:24 +0900
Subject: [PATCH] __sched_wakeup_thread: Notify interrupt_exit() of re-schedule

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

diff --git a/kernel/process.c b/kernel/process.c
index d447fe95..cbb10ed0 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -3375,6 +3375,9 @@ int __sched_wakeup_thread(struct thread *thread,
 		mcs_rwlock_writer_unlock_noirq(&proc->update_lock, &updatelock);
 		xchg4((int *)(&thread->status), PS_RUNNING);
 		status = 0;
+
+		/* Make interrupt_exit() call schedule() */
+		v->flags |= CPU_FLAG_NEED_RESCHED;
 	}
 	else {
 		status = -EINVAL;