RT_TIMER_CTRL_SET_TIME only accept rt_tick_t, pass rt_tick_t instead int/rt_int32_t

1 files changed, 2 insertions, 1 deletions

diff --git a/src/mempool.c b/src/mempool.c
index d0308eb216..b980a08aa5 100644
--- a/src/mempool.c
+++ b/src/mempool.c
@@ -314,13 +314,14 @@ void *rt_mp_alloc(rt_mp_t mp, rt_int32_t time)
 
         if (time > 0)
         {
+            rt_tick_t time_tick = time;
             /* get the start tick of timer */
             before_sleep = rt_tick_get();
 
             /* init thread timer and start it */
             rt_timer_control(&(thread->thread_timer),
                              RT_TIMER_CTRL_SET_TIME,
-                             &time);
+                             &time_tick);
             rt_timer_start(&(thread->thread_timer));
         }