__sched_wakeup_thread(): check if timesharing needs to be enabled

Change-Id: I081d700f345abbbdb14dcac3b6246b79475d059b
This commit is contained in:
Balazs Gerofi
2019-09-26 12:17:25 +09:00
committed by Masamichi Takagi
parent 9b55b68934
commit 6441aa1abb

View File

@ -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;