--- zzzz-none-000/linux-5.15.111/kernel/time/timer.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-atom-6670-761/linux-5.15.111/kernel/time/timer.c	2024-02-07 10:23:29.000000000 +0000
@@ -55,6 +55,7 @@
 
 #define CREATE_TRACE_POINTS
 #include <trace/events/timer.h>
+#include <avm/profile/profile.h>
 
 __visible u64 jiffies_64 __cacheline_aligned_in_smp = INITIAL_JIFFIES;
 
@@ -1418,7 +1419,9 @@
 	lock_map_acquire(&lockdep_map);
 
 	trace_timer_expire_entry(timer, baseclk);
+	avm_simple_profiling_log(avm_profile_data_type_timer_begin, (unsigned long)fn, (unsigned int)baseclk);
 	fn(timer);
+	avm_simple_profiling_log(avm_profile_data_type_timer_end, (unsigned long)fn, (unsigned int)baseclk);
 	trace_timer_expire_exit(timer);
 
 	lock_map_release(&lockdep_map);