--- zzzz-none-000/linux-3.10.107/arch/arm/kernel/process.c	2017-06-27 09:49:32.000000000 +0000
+++ vr9-7490-729/linux-3.10.107/arch/arm/kernel/process.c	2021-11-10 11:53:52.000000000 +0000
@@ -39,6 +39,15 @@
 #include <asm/thread_notify.h>
 #include <asm/stacktrace.h>
 #include <asm/mach/time.h>
+#ifdef CONFIG_AVM_POWERMETER
+#include <avm/power/power.h>
+#endif/*--- #ifdef CONFIG_AVM_POWERMETER ---*/
+#if defined(CONFIG_AVM_SIMPLE_PROFILING) 
+#include <avm/profile/profile.h>
+#endif/*--- #if defined(CONFIG_AVM_SIMPLE_PROFILING)  ---*/
+#if defined(CONFIG_AVM_POWER) 
+#include <avm/power/power.h>
+#endif /*--- #if defined(CONFIG_AVM_POWER) ---*/ 
 
 #ifdef CONFIG_CC_STACKPROTECTOR
 #include <linux/stackprotector.h>
@@ -133,11 +142,20 @@
 
 static void default_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)