1 files changed, 1 insertions, 1 deletions

diff --git a/litmus/sched_cedf.c b/litmus/sched_cedf.c
index 4bf61f7dbf3f..8b3f8a7e2609 100644
--- a/litmus/sched_cedf.c
+++ b/litmus/sched_cedf.c
@@ -421,7 +421,7 @@ 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 (unlikely(cluster->domain.release_master == entry->cpu)) {
                 sched_state_task_picked();
                 return NULL;
         }