Fixed bug related to not initializing pointers to PI-related functions in

curr_sched_plugin.

1 files changed, 3 insertions, 1 deletions

diff --git a/kernel/sched_plugin.c b/kernel/sched_plugin.c
index 68e2d6effc..8170d6e1df 100644
--- a/kernel/sched_plugin.c
+++ b/kernel/sched_plugin.c
@@ -107,7 +107,9 @@ sched_plugin_t linux_sched_plugin = {
         .shutdown_hook = 0,
         .schedule = litmus_dummy_schedule,
         .finish_switch = litmus_dummy_finish_switch,
-        .scheduler_setup = litmus_dummy_scheduler_setup
+        .scheduler_setup = litmus_dummy_scheduler_setup,
+        .inherit_priority = litmus_dummy_inherit_priority,
+        .return_priority = litmus_dummy_return_priority
 };
 
 /*