1 files changed, 22 insertions, 0 deletions

diff --git a/include/litmus/sched_plugin.h b/include/litmus/sched_plugin.h
index e31008fcdd59..8e65555d9b7f 100644
--- a/include/litmus/sched_plugin.h
+++ b/include/litmus/sched_plugin.h
@@ -74,10 +74,28 @@ typedef void (*decrease_prio_klitirqd_t)(struct task_struct* klitirqd,
 
 
 typedef int (*enqueue_pai_tasklet_t)(struct tasklet_struct* tasklet);
+typedef void (*change_prio_pai_tasklet_t)(struct task_struct *old_prio,
+                                                                                  struct task_struct *new_prio);
 typedef void (*run_tasklets_t)(struct task_struct* next);
 
 typedef raw_spinlock_t* (*get_dgl_spinlock_t) (struct task_struct *t);
 
+
+typedef int (*higher_prio_t)(struct task_struct* a, struct task_struct* b);
+
+#ifdef CONFIG_LITMUS_NESTED_LOCKING
+
+typedef enum
+{
+        BASE,
+        EFFECTIVE
+} comparison_mode_t;
+
+typedef int (*__higher_prio_t)(struct task_struct* a, comparison_mode_t a_mod,
+                                                          struct task_struct* b, comparison_mode_t b_mod);
+#endif
+
+
 /********************* sys call backends  ********************/
 /* This function causes the caller to sleep until the next release */
 typedef long (*complete_job_t) (void);
@@ -112,6 +130,8 @@ struct sched_plugin {
         task_block_t            task_block;
         task_exit_t             task_exit;
 
+        higher_prio_t           compare;
+        
 #ifdef CONFIG_LITMUS_LOCKING
         /*      locking protocols       */
         allocate_lock_t         allocate_lock;
@@ -121,6 +141,7 @@ struct sched_plugin {
 #ifdef CONFIG_LITMUS_NESTED_LOCKING
         nested_increase_prio_t nested_increase_prio;
         nested_decrease_prio_t nested_decrease_prio;
+        __higher_prio_t         __compare;
 #endif
 #ifdef CONFIG_LITMUS_DGL_SUPPORT
         get_dgl_spinlock_t      get_dgl_spinlock;
@@ -132,6 +153,7 @@ struct sched_plugin {
 #endif
 #ifdef CONFIG_LITMUS_PAI_SOFTIRQD
         enqueue_pai_tasklet_t           enqueue_pai_tasklet;
+        change_prio_pai_tasklet_t       change_prio_pai_tasklet;
         run_tasklets_t                          run_tasklets;
 #endif
 } __attribute__ ((__aligned__(SMP_CACHE_BYTES)));