1 files changed, 17 insertions, 0 deletions

diff --git a/litmus/sched_plugin.c b/litmus/sched_plugin.c
index 00a1900d6457..77ae3eeb3966 100644
--- a/litmus/sched_plugin.c
+++ b/litmus/sched_plugin.c
@@ -120,6 +120,17 @@ static long litmus_dummy_allocate_lock(struct litmus_lock **lock, int type,
 
 #endif
 
+#ifdef CONFIG_LITMUS_DGL_SUPPORT
+
+static raw_spinlock_t* litmus_dummy_get_dgl_spinlock(struct task_struct *t)
+{
+        BUG();
+        return NULL;
+}
+
+#endif
+
+
 
 /* The default scheduler plugin. It doesn't do anything and lets Linux do its
  * job.
@@ -139,6 +150,9 @@ struct sched_plugin linux_sched_plugin = {
 #ifdef CONFIG_LITMUS_LOCKING
         .allocate_lock = litmus_dummy_allocate_lock,
 #endif
+#ifdef CONFIG_LITMUS_DGL_SUPPORT
+        .get_dgl_spinlock = litmus_dummy_get_dgl_spinlock,
+#endif
         .admit_task = litmus_dummy_admit_task
 };
 
@@ -177,6 +191,9 @@ int register_sched_plugin(struct sched_plugin* plugin)
 #ifdef CONFIG_LITMUS_LOCKING
         CHECK(allocate_lock);
 #endif
+#ifdef CONFIG_LITMUS_DGL_SUPPORT
+        CHECK(get_dgl_spinlock);
+#endif
         CHECK(admit_task);
 
         if (!plugin->release_at)