1 files changed, 23 insertions, 1 deletions

diff --git a/include/litmus/litmus_softirq.h b/include/litmus/litmus_softirq.h
index 712c8119ae15..e130a26685a2 100644
--- a/include/litmus/litmus_softirq.h
+++ b/include/litmus/litmus_softirq.h
@@ -2,6 +2,7 @@
 #define __LITMUS_SOFTIRQ_H
 
 #include <linux/interrupt.h>
+#include <linux/workqueue.h>
 
 /*
    Threaded tasklet handling for Litmus.  Tasklets
@@ -105,4 +106,25 @@ static inline void litmus_tasklet_hi_schedule_first(
                 __litmus_tasklet_hi_schedule_first(t, k_id);
 }
 
-#endif
\ No newline at end of file
+//////////////
+
+extern void __litmus_schedule_work(
+        struct work_struct* w,
+        unsigned int k_id);
+
+static inline void litmus_schedule_work(
+        struct work_struct* w,
+        unsigned int k_id)
+{
+        __litmus_schedule_work(w, k_id);
+}
+
+#endif
+
+
+
+
+
+
+
+