1 files changed, 16 insertions, 0 deletions

diff --git a/litmus/sched_plugin.c b/litmus/sched_plugin.c
index 245e41c25a5d..d24c9167cff8 100644
--- a/litmus/sched_plugin.c
+++ b/litmus/sched_plugin.c
@@ -137,6 +137,18 @@ static void litmus_dummy_increase_prio(struct task_struct* t, struct task_struct
 static void litmus_dummy_decrease_prio(struct task_struct* t, struct task_struct* prio_inh)
 {
 }
+
+static int litmus_dummy___increase_prio(struct task_struct* t, struct task_struct* prio_inh)
+{
+        TRACE_CUR("WARNING: Dummy litmus_dummy___increase_prio called!\n");
+        return 0;
+}
+
+static int litmus_dummy___decrease_prio(struct task_struct* t, struct task_struct* prio_inh)
+{
+        TRACE_CUR("WARNING: Dummy litmus_dummy___decrease_prio called!\n");
+        return 0;
+}
 #endif
 
 #ifdef CONFIG_LITMUS_SOFTIRQD
@@ -227,6 +239,8 @@ struct sched_plugin linux_sched_plugin = {
         .allocate_lock = litmus_dummy_allocate_lock,
         .increase_prio = litmus_dummy_increase_prio,
         .decrease_prio = litmus_dummy_decrease_prio,
+        .__increase_prio = litmus_dummy___increase_prio,
+        .__decrease_prio = litmus_dummy___decrease_prio,
 #endif
 #ifdef CONFIG_LITMUS_NESTED_LOCKING
         .nested_increase_prio = litmus_dummy_nested_increase_prio,
@@ -289,6 +303,8 @@ int register_sched_plugin(struct sched_plugin* plugin)
         CHECK(allocate_lock);
         CHECK(increase_prio);
         CHECK(decrease_prio);
+        CHECK(__increase_prio);
+        CHECK(__decrease_prio);
 #endif
 #ifdef CONFIG_LITMUS_NESTED_LOCKING
         CHECK(nested_increase_prio);