--- zzzz-none-000/linux-2.6.39.4/arch/arm/kernel/irq.c	2011-08-03 19:43:28.000000000 +0000
+++ puma6-arm-6490-729/linux-2.6.39.4/arch/arm/kernel/irq.c	2021-11-10 13:23:09.000000000 +0000
@@ -42,6 +42,12 @@
 #include <asm/mach/irq.h>
 #include <asm/mach/time.h>
 
+#if defined(CONFIG_AVM_SIMPLE_PROFILING) 
+#include <avm/profile/profile.h>
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/ 
+#if defined(CONFIG_AVM_POWER) 
+#include <avm/power/power.h>
+#endif /*--- #if defined(CONFIG_AVM_POWER) ---*/ 
 /*
  * No architecture-specific irq_finish function defined in arm/arch/irqs.h.
  */
@@ -65,7 +71,6 @@
 	seq_printf(p, "%*s: %10lu\n", prec, "Err", irq_err_count);
 	return 0;
 }
-
 /*
  * do_IRQ handles all hardware IRQ's.  Decoded IRQs should not
  * come via this function.  Instead, they should provide their
@@ -78,6 +83,17 @@
 
 	irq_enter();
 
+#if defined(CONFIG_AVM_SIMPLE_PROFILING) 
+#if defined(avm_simple_profiling_enter_irq_context)
+    avm_simple_profiling_enter_irq_context(regs->ARM_pc, regs->ARM_lr);
+#else/*--- #if defined(avm_simple_profiling_enter_irq_context) ---*/
+    avm_simple_profiling_enter_irqcontext(regs->ARM_pc);
+#endif/*--- #else ---*//*--- #if defined(avm_simple_profiling_enter_irq_context) ---*/
+    avm_simple_profiling_log(avm_profile_data_type_hw_irq_begin, (unsigned int)(irq_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)  ---*/
 	/*
 	 * Some hardware gives randomly wrong interrupts.  Rather
 	 * than crashing, do something sensible.
@@ -90,6 +106,9 @@
 		generic_handle_irq(irq);
 	}
 
+#if defined(CONFIG_AVM_SIMPLE_PROFILING) 
+    avm_simple_profiling_log(avm_profile_data_type_hw_irq_end, (unsigned int)(irq_desc + irq), irq);
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/ 
 	/* AT91 specific workaround */
 	irq_finish(irq);