2 files changed, 6 insertions, 2 deletions

diff --git a/include/litmus/sched_plugin.h b/include/litmus/sched_plugin.h
index 3fc64f832fef..8fdf05dd7cd3 100644
--- a/include/litmus/sched_plugin.h
+++ b/include/litmus/sched_plugin.h
@@ -11,9 +11,7 @@
 #include <litmus/locking.h>
 #endif
 
-#ifdef CONFIG_LITMUS_PAI_SOFTIRQD
 #include <linux/interrupt.h>
-#endif
 
 /************************ setup/tear down ********************/
 
diff --git a/include/litmus/trace.h b/include/litmus/trace.h
index aa3ee4a6757b..09d409b60268 100644
--- a/include/litmus/trace.h
+++ b/include/litmus/trace.h
@@ -114,4 +114,10 @@ feather_callback void save_timestamp_cpu(unsigned long event, unsigned long cpu)
 
 #endif
 
+#ifdef CONFIG_LITMUS_PAI_SOFTIRQD
+#define TS_NV_SCHED_BOTISR_START        TIMESTAMP(206)
+#define TS_NV_SCHED_BOTISR_END          TIMESTAMP(207)
+#endif
+
+
 #endif /* !_SYS_TRACE_H_ */