experimental changes to support GPUs under SRPwip-gpu-rtss12-srp

Seems to fail due to locking within GPU driver.

1 files changed, 3 insertions, 2 deletions

diff --git a/kernel/softirq.c b/kernel/softirq.c
index 5ce271675662..6bb63ac9dbd4 100644
--- a/kernel/softirq.c
+++ b/kernel/softirq.c
@@ -445,10 +445,11 @@ void __tasklet_schedule(struct tasklet_struct *t)
 #ifdef CONFIG_LITMUS_NVIDIA
         if(is_nvidia_func(t->func))
         {
-#if 0
+#if 1
                 // do nvidia tasklets right away and return
-                if(__do_nv_now(t))
+                if(likely(_litmus_tasklet_schedule(t,0))) {
                         return;
+                }
 #else
                 u32 nvidia_device = get_tasklet_nv_device_num(t);       
                 //              TRACE("%s: Handling NVIDIA tasklet for device\t%u\tat\t%llu\n",