1 files changed, 3 insertions, 0 deletions

diff --git a/litmus/trace.c b/litmus/trace.c
index 0e75133c1392..2bcaaf474b7a 100644
--- a/litmus/trace.c
+++ b/litmus/trace.c
@@ -29,6 +29,9 @@ void ft_irq_fired(void)
         /* Only called with preemptions disabled.  */
         atomic_inc(this_cpu_ptr(&irq_fired_count));
         atomic_inc(this_cpu_ptr(&cpu_irq_fired_count));
+
+        if (has_control_page(current))
+                get_control_page(current)->irq_count++;
 }
 
 static inline void clear_irq_fired(void)