From 58be04b69351d7c6caeea636a400dad5f6c708bc Mon Sep 17 00:00:00 2001
From: Bernard Xiong <bernard.xiong@gmail.com>
Date: Wed, 19 Dec 2018 20:10:18 +0800
Subject: [PATCH] [kernel] format scheduler log.

---
 src/scheduler.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/scheduler.c b/src/scheduler.c
index cd66284c7a..850c70306d 100644
--- a/src/scheduler.c
+++ b/src/scheduler.c
@@ -445,8 +445,8 @@ void rt_schedule(void)
                 /* switch to new thread */
                 RT_DEBUG_LOG(RT_DEBUG_SCHEDULER,
                         ("[%d]switch to priority#%d "
-                         "thread:%.*s(sp:0x%p), "
-                         "from thread:%.*s(sp: 0x%p)\n",
+                         "thread:%.*s(sp:0x%08x), "
+                         "from thread:%.*s(sp: 0x%08x)\n",
                          rt_interrupt_nest, highest_ready_priority,
                          RT_NAME_MAX, to_thread->name, to_thread->sp,
                          RT_NAME_MAX, from_thread->name, from_thread->sp));