1 files changed, 9 insertions, 0 deletions

diff --git a/kernel/sched/stop_task.c b/kernel/sched/stop_task.c
index 79ffec45a6ac..4b3fe4333268 100644
--- a/kernel/sched/stop_task.c
+++ b/kernel/sched/stop_task.c
@@ -1,5 +1,7 @@
 #include "sched.h"
 
+#include <litmus/preempt.h>
+
 /*
  * stop-task scheduling class.
  *
@@ -35,6 +37,13 @@ pick_next_task_stop(struct rq *rq, struct task_struct *prev)
 
         stop->se.exec_start = rq_clock_task(rq);
 
+        /* Let the LITMUS^RT scheduler state machine know
+         * that a task was picked. This is needed because the
+         * LITMUS^RT scheduling plugin will not be called
+         * if the stop-task class picks a task.
+         */
+        sched_state_task_picked();
+
         return stop;
 }