2 files changed, 24 insertions, 2 deletions

diff --git a/include/litmus/litmus_softirq.h b/include/litmus/litmus_softirq.h
index 6d1f85c2e093..712c8119ae15 100644
--- a/include/litmus/litmus_softirq.h
+++ b/include/litmus/litmus_softirq.h
@@ -1,3 +1,6 @@
+#ifndef __LITMUS_SOFTIRQ_H
+#define __LITMUS_SOFTIRQ_H
+
 #include <linux/interrupt.h>
 
 /*
@@ -57,8 +60,12 @@ void kill_klitirqd(void);
    to handle tasklets. 0, otherwise.*/
 int klitirqd_is_ready(void);
 
+/* Returns 1 if no NR_LITMUS_SOFTIRQD klitirqs are ready
+ to handle tasklets. 0, otherwise.*/
+int klitirqd_is_dead(void);
+
 
-void __litmus_tasklet_schedule(
+extern void __litmus_tasklet_schedule(
         struct tasklet_struct *t,
         unsigned int k_id);
 
@@ -96,4 +103,6 @@ static inline void litmus_tasklet_hi_schedule_first(
 {
         if (!test_and_set_bit(TASKLET_STATE_SCHED, &t->state))
                 __litmus_tasklet_hi_schedule_first(t, k_id);
-}
\ No newline at end of file
+}
+
+#endif
\ No newline at end of file
diff --git a/include/litmus/nvidia_info.h b/include/litmus/nvidia_info.h
new file mode 100644
index 000000000000..f28d8f0a7f40
--- /dev/null
+++ b/include/litmus/nvidia_info.h
@@ -0,0 +1,13 @@
+#ifndef __LITMUS_NVIDIA_H
+#define __LITMUS_NVIDIA_H
+
+#include <litmus/litmus_softirq.h>
+
+int init_nvidia_info(void);
+
+int is_nvidia_func(void *func);
+
+int is_nvidia_in_callstack(void);
+
+
+#endif