1 files changed, 4 insertions, 0 deletions

diff --git a/litmus/sched_mc2.c b/litmus/sched_mc2.c
index ab35008668d6..1e5b28ba0ac3 100644
--- a/litmus/sched_mc2.c
+++ b/litmus/sched_mc2.c
@@ -381,6 +381,8 @@ static void mc2_task_new(struct task_struct *tsk, int on_runqueue,
         task_new_legacy_task_model_updates(tsk);
 }
 
+static long mc2_reservation_destroy(unsigned int reservation_id, int cpu);
+
 static void mc2_task_exit(struct task_struct *tsk)
 {
         unsigned long flags;
@@ -404,6 +406,8 @@ static void mc2_task_exit(struct task_struct *tsk)
         } else
                 raw_spin_unlock_irqrestore(&state->lock, flags);
 
+        mc2_reservation_destroy(tsk->pid, tinfo->cpu);
+        
         kfree(tsk_rt(tsk)->plugin_state);
         tsk_rt(tsk)->plugin_state = NULL;
 }