diff --git a/kernel/microkernel/power.c b/kernel/microkernel/power.c
index b41fd911279..2154fab42b7 100644
--- a/kernel/microkernel/power.c
+++ b/kernel/microkernel/power.c
@@ -58,7 +58,7 @@ unsigned char _SysPowerSaveFlag = 1;
 #endif
 
 extern void nano_cpu_idle(void);
-extern void nanoCpuSetIdle(int32_t ticks);
+extern void nano_cpu_set_idle(int32_t ticks);
 
 #if defined(CONFIG_TICKLESS_IDLE)
 /*
@@ -101,11 +101,11 @@ void _SysPowerSaveIdle(int32_t ticks)
 	 */
 
 	if (_AdvIdleFunc(ticks) == 0) {
-		nanoCpuSetIdle(ticks);
+		nano_cpu_set_idle(ticks);
 		nano_cpu_idle();
 	}
 #else
-	nanoCpuSetIdle(ticks);
+	nano_cpu_set_idle(ticks);
 	nano_cpu_idle();
 #endif /* CONFIG_ADVANCED_IDLE */
 }
diff --git a/kernel/nanokernel/core/idle.c b/kernel/nanokernel/core/idle.c
index 24e1aa834bd..cd3f9583c11 100644
--- a/kernel/nanokernel/core/idle.c
+++ b/kernel/nanokernel/core/idle.c
@@ -45,7 +45,7 @@ data structure.
 
 /*******************************************************************************
 *
-* nanoCpuSetIdle - indicate that nanokernel is idling in tickless mode
+* nano_cpu_set_idle - indicate that nanokernel is idling in tickless mode
 *
 * Sets the nanokernel data structure idle field to a non-zero value.
 *
@@ -54,7 +54,7 @@ data structure.
 * \NOMANUAL
 */
 
-void nanoCpuSetIdle(int32_t ticks)
+void nano_cpu_set_idle(int32_t ticks)
 {
 	extern tNANO _NanoKernel;
 	_NanoKernel.idle = ticks;