--- zzzz-none-000/linux-4.1.38/arch/arm/kernel/process.c	2017-01-18 18:48:06.000000000 +0000
+++ bcm63-7582-715/linux-4.1.38/arch/arm/kernel/process.c	2020-11-25 10:06:48.000000000 +0000
@@ -36,6 +36,21 @@
 #include <asm/mach/time.h>
 #include <asm/tls.h>
 #include <asm/vdso.h>
+#ifdef CONFIG_AVM_POWERMETER
+#include <linux/avm_power.h>
+#endif /*--- #ifdef CONFIG_AVM_POWERMETER ---*/
+#if defined(CONFIG_AVM_SIMPLE_PROFILING)
+#include <linux/avm_profile.h>
+#include <linux/threads.h>
+#include <linux/smp.h>
+#include <asm/mach_avm.h>
+#endif /*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING)  ---*/
+#if defined(CONFIG_AVM_POWER)
+#include <linux/avm_power.h>
+#endif /*--- #if defined(CONFIG_AVM_POWER) ---*/
+#if defined(CONFIG_AVM_ENHANCED)
+#include <asm/avm_enh/avm_enh.h>
+#endif/*--- #if defined(CONFIG_AVM_ENHANCED) ---*/
 
 #ifdef CONFIG_CC_STACKPROTECTOR
 #include <linux/stackprotector.h>
@@ -66,11 +81,20 @@
 
 void arch_cpu_idle(void)
 {
+#if defined(CONFIG_AVM_POWER)
+	avm_cpu_wait_start();
+#endif  /*--- #if defined(CONFIG_AVM_POWER)  ---*/
 	if (arm_pm_idle)
 		arm_pm_idle();
 	else
 		cpu_do_idle();
+#if defined(CONFIG_AVM_POWER)
+	avm_cpu_wait_end();
+#endif  /*--- #if defined(CONFIG_AVM_POWER)  ---*/
 	local_irq_enable();
+#if defined(CONFIG_AVM_POWER)
+	avm_cpu_wait_info();
+#endif  /*--- #if defined(CONFIG_AVM_POWER)  ---*/
 }
 
 void arch_cpu_idle_prepare(void)
@@ -159,6 +183,9 @@
 		printk("Control: %08x%s\n", ctrl, buf);
 	}
 #endif
+#if defined(CONFIG_AVM_ENHANCED)
+	show_register_memory_classifier(regs);
+#endif/*--- #if defined(CONFIG_AVM_ENHANCED) ---*/
 }
 
 void show_regs(struct pt_regs * regs)