1 files changed, 1 insertions, 0 deletions

diff --git a/kernel/softirq.c b/kernel/softirq.c
index d3217c54d2bf..7a6f500570f1 100644
--- a/kernel/softirq.c
+++ b/kernel/softirq.c
@@ -439,6 +439,7 @@ void __tasklet_schedule(struct tasklet_struct *t)
 
                                 t->owner = device_owner;
                                 sched_trace_tasklet_release(t->owner);
+
                                 if(likely(_litmus_tasklet_schedule(t,nvidia_device)))
                                 {
                                         unlock_nv_registry(nvidia_device, &flags);