Call curr_plugin->finish_switch() after every task switch.

GSN-EDF needs to be called after every task switch. This patch changes the
existing plugins to handle the changed behavior.

1 files changed, 2 insertions, 3 deletions

diff --git a/include/linux/sched_plugin.h b/include/linux/sched_plugin.h
index 59e9e2f353..5c223695ab 100644
--- a/include/linux/sched_plugin.h
+++ b/include/linux/sched_plugin.h
@@ -38,9 +38,8 @@ typedef reschedule_check_t (*scheduler_tick_t) (void);
 typedef int (*schedule_t) (struct task_struct * prev, 
                            struct task_struct ** next,
                            runqueue_t * rq);
-/* clean up after the task switch has occured
- * it is guaranteed that the function is only called if prev is a real-time
- * task
+/* Clean up after the task switch has occured.
+ * This function is called after every (even non-rt) task switch.
  */
 typedef void (*finish_switch_t)(struct task_struct *prev);