--- zzzz-none-000/linux-5.15.111/kernel/sched/core.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-arm-6670-761/linux-5.15.111/kernel/sched/core.c	2024-02-07 09:28:08.000000000 +0000
@@ -27,6 +27,8 @@
 #include "pelt.h"
 #include "smp.h"
 
+#include <avm/profile/profile.h>
+
 /*
  * Export tracepoints that act as a bare tracehook (ie: have no trace event
  * associated with them) to allow external modules to probe them.
@@ -4891,6 +4893,7 @@
 	 * transition, resulting in a double drop.
 	 */
 	prev_state = READ_ONCE(prev->__state);
+	avm_simple_profiling_sched();
 	vtime_task_switch(prev);
 	perf_event_task_sched_in(prev, current);
 	finish_task(prev);