--- zzzz-none-000/linux-3.10.107/kernel/sched/core.c	2017-06-27 09:49:32.000000000 +0000
+++ vr9-7490-729/linux-3.10.107/kernel/sched/core.c	2021-11-10 11:53:56.000000000 +0000
@@ -88,6 +88,9 @@
 
 #define CREATE_TRACE_POINTS
 #include <trace/events/sched.h>
+#if defined(CONFIG_AVM_SIMPLE_PROFILING)
+#include <avm/profile/profile.h>
+#endif/*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING) ---*/
 
 void start_bandwidth_timer(struct hrtimer *period_timer, ktime_t period)
 {
@@ -1933,6 +1936,9 @@
 	 *		Manfred Spraul <manfred@colorfullife.com>
 	 */
 	prev_state = prev->state;
+#if defined(CONFIG_AVM_SIMPLE_PROFILING)
+	avm_simple_profiling_sched();
+#endif/*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING)  ---*/
 	vtime_task_switch(prev);
 	finish_arch_switch(prev);
 	perf_event_task_sched_in(prev, current);
@@ -2888,7 +2894,12 @@
 {
 	if (oops_in_progress)
 		return;
-
+#if defined(CONFIG_AVM_ENHANCED)
+    console_verbose();
+#if defined (CONFIG_PRINTK)
+    printk_avm_console_bend(0); /* force serial-output */
+#endif
+#endif/*--- #if defined(CONFIG_AVM_ENHANCED) ---*/
 	printk(KERN_ERR "BUG: scheduling while atomic: %s/%d/0x%08x\n",
 		prev->comm, prev->pid, preempt_count());
 
@@ -2898,6 +2909,14 @@
 		print_irqtrace_events(prev);
 	dump_stack();
 	add_taint(TAINT_WARN, LOCKDEP_STILL_OK);
+#if defined(CONFIG_AVM_ENHANCED)
+#ifdef CONFIG_SMP
+    /*--- get information about all cpus ! ---*/
+    BUG();
+#else
+    panic("BUG: scheduling while atomic: %s/%d/0x%08x\n", prev->comm, prev->pid, preempt_count());
+#endif
+#endif/*--- #if defined(CONFIG_AVM_ENHANCED) ---*/
 }
 
 /*