[Kernel] Fix the thread->sp data type issue.
@@ -264,9 +264,9 @@ void rt_system_scheduler_start(void)
/* switch to new thread */
#ifdef RT_USING_SMP
- rt_hw_context_switch_to((rt_uint32_t)&to_thread->sp, to_thread);
+ rt_hw_context_switch_to((rt_ubase_t)&to_thread->sp, to_thread);
#else
- rt_hw_context_switch_to((rt_uint32_t)&to_thread->sp);
+ rt_hw_context_switch_to((rt_ubase_t)&to_thread->sp);
#endif /*RT_USING_SMP*/
/* never come back */
