--- zzzz-none-000/linux-4.9.279/kernel/workqueue.c	2021-08-08 06:38:54.000000000 +0000
+++ puma7-arm-6591-750/linux-4.9.279/kernel/workqueue.c	2023-02-08 10:58:16.000000000 +0000
@@ -52,6 +52,7 @@
 #include <linux/kvm_para.h>
 
 #include "workqueue_internal.h"
+#include <avm/profile/profile.h>
 
 enum {
 	/*
@@ -2092,7 +2093,11 @@
 	lock_map_acquire_read(&pwq->wq->lockdep_map);
 	lock_map_acquire(&lockdep_map);
 	trace_workqueue_execute_start(work);
+    avm_simple_profiling_log(avm_profile_data_type_workitem_begin, (unsigned int)worker->current_func, 
+                                                                   (unsigned int)work);
 	worker->current_func(work);
+    avm_simple_profiling_log(avm_profile_data_type_workitem_end, (unsigned int)worker->current_func, 
+                                                                 (unsigned int)work);
 	/*
 	 * While we must be careful to not use "work" after this, the trace
 	 * point will only record its address.