1 files changed, 4 insertions, 0 deletions

diff --git a/arch/arm/kernel/irq.c b/arch/arm/kernel/irq.c
index 350f188c92d2..720b45e232f2 100644
--- a/arch/arm/kernel/irq.c
+++ b/arch/arm/kernel/irq.c
@@ -44,6 +44,8 @@
 #include <asm/mach/irq.h>
 #include <asm/mach/time.h>
 
+#include <litmus/cache_proc.h>
+
 unsigned long irq_err_count;
 
 int arch_show_interrupts(struct seq_file *p, int prec)
@@ -66,7 +68,9 @@ int arch_show_interrupts(struct seq_file *p, int prec)
  */
 void handle_IRQ(unsigned int irq, struct pt_regs *regs)
 {
+        enter_irq_mode();
         __handle_domain_irq(NULL, irq, false, regs);
+        exit_irq_mode();
 }
 
 /*