--- zzzz-none-000/linux-4.4.60/arch/arm/kernel/irq.c	2017-04-08 07:53:53.000000000 +0000
+++ dragonfly-4020-701/linux-4.4.60/arch/arm/kernel/irq.c	2018-11-08 13:36:17.000000000 +0000
@@ -46,6 +46,13 @@
 #include <asm/mach/irq.h>
 #include <asm/mach/time.h>
 
+#if defined(CONFIG_AVM_SIMPLE_PROFILING) 
+#include <linux/avm_profile.h>
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/ 
+#if defined(CONFIG_AVM_POWER) 
+#include <linux/avm_power.h>
+#endif /*--- #if defined(CONFIG_AVM_POWER) ---*/ 
+
 unsigned long irq_err_count;
 
 int arch_show_interrupts(struct seq_file *p, int prec)
@@ -68,7 +75,19 @@
  */
 void handle_IRQ(unsigned int irq, struct pt_regs *regs)
 {
-	__handle_domain_irq(NULL, irq, false, regs);
+#if defined(CONFIG_AVM_SIMPLE_PROFILING) 
+    avm_simple_profiling_enter_irq_context(regs->ARM_pc, regs->ARM_lr);
+    avm_simple_profiling_log(avm_profile_data_type_hw_irq_begin, (unsigned int)(irq_to_desc(irq)), irq);
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/ 
+#if defined(CONFIG_AVM_POWER)
+    avm_cpu_wait_end();  /*--- auch wenn es wait_irqoff gibt: trotzdem aufrufen, um system-load-Ausgabe zu triggern  ---*/ 
+#endif/*--- #if defined(CONFIG_AVM_POWER)  ---*/
+
+		__handle_domain_irq(NULL, irq, false, regs);
+
+#if defined(CONFIG_AVM_SIMPLE_PROFILING) 
+    avm_simple_profiling_log(avm_profile_data_type_hw_irq_end, (unsigned int)(irq_to_desc(irq)), irq);
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/ 
 }
 
 /*