--- zzzz-none-000/linux-4.9.279/kernel/sched/core.c	2021-08-08 06:38:54.000000000 +0000
+++ puma7-arm-6591-750/linux-4.9.279/kernel/sched/core.c	2023-02-08 10:58:16.000000000 +0000
@@ -90,6 +90,7 @@
 
 #define CREATE_TRACE_POINTS
 #include <trace/events/sched.h>
+#include <avm/profile/profile.h>
 
 DEFINE_MUTEX(sched_domains_mutex);
 DEFINE_PER_CPU_SHARED_ALIGNED(struct rq, runqueues);
@@ -2766,6 +2767,7 @@
 	 * transition, resulting in a double drop.
 	 */
 	prev_state = prev->state;
+	avm_simple_profiling_sched();
 	vtime_task_switch(prev);
 	perf_event_task_sched_in(prev, current);
 	finish_lock_switch(rq, prev);