Feather-Trace: write interrupt counts to control page

This patch exports the interrupt counter to userspace via the control
page.

1 files changed, 3 insertions, 0 deletions

diff --git a/litmus/trace.c b/litmus/trace.c
index 790686b1322c..9286569f2523 100644
--- a/litmus/trace.c
+++ b/litmus/trace.c
@@ -22,6 +22,9 @@ void ft_irq_fired(void)
 {
         /* Only called with preemptions disabled.  */
         atomic_inc(&__get_cpu_var(irq_fired_count));
+
+        if (has_control_page(current))
+                get_control_page(current)->irq_count++;
 }
 
 static inline void clear_irq_fired(void)