bugfix: release master CPU must signal task was picked

1 files changed, 3 insertions, 1 deletions

diff --git a/litmus/sched_cedf.c b/litmus/sched_cedf.c
index 690b94dbd686..4bf61f7dbf3f 100644
--- a/litmus/sched_cedf.c
+++ b/litmus/sched_cedf.c
@@ -421,8 +421,10 @@ static struct task_struct* cedf_schedule(struct task_struct * prev)
         /* Bail out early if we are the release master.
          * The release master never schedules any real-time tasks.
          */
-        if (cluster->domain.release_master == entry->cpu)
+        if (cluster->domain.release_master == entry->cpu) {
+                sched_state_task_picked();
                 return NULL;
+        }
 #endif
 
         raw_spin_lock(&cluster->lock);