1 files changed, 24 insertions, 1 deletions

diff --git a/litmus/litmus_pai_softirq.c b/litmus/litmus_pai_softirq.c
index 300571a81bbd..1ee5f73a2991 100644
--- a/litmus/litmus_pai_softirq.c
+++ b/litmus/litmus_pai_softirq.c
@@ -17,9 +17,29 @@
 #include <litmus/litmus_softirq.h>
 
 
+static void __do_lit_tasklet(struct tasklet_struct* tasklet)
+{
+        if (!atomic_read(&tasklet->count)) {
+                if (!test_and_clear_bit(TASKLET_STATE_SCHED, &tasklet->state))
+                {
+                        BUG();
+                }
+                TRACE("%s: Invoking tasklet with owner pid = %d (flushed = %d).\n",
+                          __FUNCTION__,
+                          (tasklet->owner) ? tasklet->owner->pid : -1,
+                          (tasklet->owner) ? 0 : 1);
+                tasklet->func(tasklet->data);
+                tasklet_unlock(tasklet);
+        }
+        else {
+                BUG();
+        }
+}
+
 
 int __litmus_tasklet_schedule(struct tasklet_struct *t, unsigned int k_id)
 {
+#if 0
         int ret = 0; /* assume failure */
     if(unlikely((t->owner == NULL) || !is_realtime(t->owner)))
     {
@@ -28,8 +48,11 @@ int __litmus_tasklet_schedule(struct tasklet_struct *t, unsigned int k_id)
     }
 
     ret = litmus->enqueue_pai_tasklet(t);
-
         return(ret);
+#else
+        __do_lit_tasklet(t);
+        return(1);
+#endif
 }
 
 EXPORT_SYMBOL(__litmus_tasklet_schedule);