--- zzzz-none-000/linux-2.6.39.4/kernel/timer.c	2011-08-03 19:43:28.000000000 +0000
+++ puma6-arm-6490-729/linux-2.6.39.4/kernel/timer.c	2021-11-10 13:23:10.000000000 +0000
@@ -40,6 +40,9 @@
 #include <linux/irq_work.h>
 #include <linux/sched.h>
 #include <linux/slab.h>
+#if defined(CONFIG_AVM_SIMPLE_PROFILING)
+#include <avm/profile/profile.h>
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/
 
 #include <asm/uaccess.h>
 #include <asm/unistd.h>
@@ -1124,7 +1127,13 @@
 			detach_timer(timer, 1);
 
 			spin_unlock_irq(&base->lock);
+#if defined(CONFIG_AVM_SIMPLE_PROFILING)
+                avm_simple_profiling_log(avm_profile_data_type_timer_begin, (unsigned int)fn, (unsigned int)data);
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/
 			call_timer_fn(timer, fn, data);
+#if defined(CONFIG_AVM_SIMPLE_PROFILING)
+                avm_simple_profiling_log(avm_profile_data_type_timer_end, (unsigned int)fn, (unsigned int)data);
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/
 			spin_lock_irq(&base->lock);
 		}
 	}