Commit 34c21c0d authored by Jan Kiszka's avatar Jan Kiszka

cobalt/process: Fix incomplete backport of __handle_taskexit_event change

Commit f7d83e55 which tried to backport commit 393ece85 from
master missed that there is no interrupt protection via
xnlock_get_irqsave in 3.0. But we need in order to protect xnsched_run
when running over the secondary domain as we always do here. In fact,
xnsched_run will complain via a warning about this.
Signed-off-by: Jan Kiszka's avatarJan Kiszka <jan.kiszka@siemens.com>
parent 3012eb5e
......@@ -1041,6 +1041,7 @@ static void __handle_taskexit_event(struct task_struct *p)
{
struct cobalt_ppd *sys_ppd;
struct xnthread *thread;
spl_t s;
/*
* We are called for both kernel and user shadows over the
......@@ -1055,7 +1056,9 @@ static void __handle_taskexit_event(struct task_struct *p)
if (xnthread_test_state(thread, XNSSTEP))
unregister_debugged_thread(thread);
splhigh(s);
xnsched_run();
splexit(s);
xnthread_run_handler_stack(thread, exit_thread);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment