From d266d681a143b398b9dd698f3df8c6d935944bff Mon Sep 17 00:00:00 2001
From: Bernard Xiong <bernard.xiong@gmail.com>
Date: Mon, 24 Dec 2018 09:07:56 +0800
Subject: [PATCH] [kernel] Fix the 64bit issue for idle thread cpu binding.

---
 src/idle.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/idle.c b/src/idle.c
index d02b199f32..3b15b30480 100644
--- a/src/idle.c
+++ b/src/idle.c
@@ -265,7 +265,7 @@ static void rt_thread_idle_entry(void *parameter)
  */
 void rt_thread_idle_init(void)
 {
-    int i;
+    rt_ubase_t i;
     char tidle_name[RT_NAME_MAX];
 
     for (i = 0; i < _CPUS_NR; i++)
-- 
GitLab