1 files changed, 3 insertions, 0 deletions

diff --git a/kernel/sched.c b/kernel/sched.c
index 840f87bce097..a1f10984adb3 100644
--- a/kernel/sched.c
+++ b/kernel/sched.c
@@ -5288,6 +5288,9 @@ recheck:
                 if (retval)
                         return retval;
         }
+        else if (p->policy == SCHED_LITMUS) {
+                litmus_pre_exit_task(p);
+        }
 
         /*
          * make sure no PI-waiters arrive (or leave) while we are