Integrate SRP ceiling blocking callback with Linux scheduler

Check whether a suspension is required at end of schedule().

1 files changed, 3 insertions, 0 deletions

diff --git a/kernel/sched/core.c b/kernel/sched/core.c
index 3d37e2a09dcc..403aa9e0fb2a 100644
--- a/kernel/sched/core.c
+++ b/kernel/sched/core.c
@@ -86,6 +86,7 @@
 #include "../workqueue_internal.h"
 #include "../smpboot.h"
 
+#include <litmus/litmus.h>
 #include <litmus/trace.h>
 #include <litmus/sched_trace.h>
 
@@ -3083,6 +3084,8 @@ litmus_need_resched_nonpreemptible:
 
         if (need_resched())
                 goto need_resched;
+
+        srp_ceiling_block();
 }
 
 static inline void sched_submit_work(struct task_struct *tsk)