--- zzzz-none-000/linux-5.4.213/kernel/sched/core.c	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/kernel/sched/core.c	2024-05-29 11:20:02.000000000 +0000
@@ -22,6 +22,7 @@
 
 #define CREATE_TRACE_POINTS
 #include <trace/events/sched.h>
+#include <avm/profile/profile.h>
 
 /*
  * Export tracepoints that act as a bare tracehook (ie: have no trace event
@@ -2770,6 +2771,7 @@
 {
 	return try_to_wake_up(p, state, 0);
 }
+EXPORT_SYMBOL_GPL(wake_up_state);
 
 /*
  * Perform scheduler related setup for a newly forked process p.
@@ -3317,6 +3319,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_task(prev);