diff --git a/kernel/sched/core.c b/kernel/sched/core.c index 90d05c9fa92d..b519f3a561a0 100644 --- a/kernel/sched/core.c +++ b/kernel/sched/core.c @@ -6931,6 +6931,7 @@ void idle_task_exit(void) finish_arch_post_lock_switch(); } + scs_task_reset(current); /* finish_cpu(), as ran on the BP, will clean up the active_mm state */ }