diff --git a/kernel/include/ksched.h b/kernel/include/ksched.h
index 68abd19f50d..997d373b401 100644
--- a/kernel/include/ksched.h
+++ b/kernel/include/ksched.h
@@ -39,7 +39,7 @@ int _is_thread_time_slicing(struct k_thread *thread);
 void _unpend_thread_no_timeout(struct k_thread *thread);
 int _pend_current_thread(int key, _wait_q_t *wait_q, s32_t timeout);
 void _pend_thread(struct k_thread *thread, _wait_q_t *wait_q, s32_t timeout);
-void _reschedule(int key);
+void _reschedule(u32_t key);
 struct k_thread *_unpend_first_thread(_wait_q_t *wait_q);
 void _unpend_thread(struct k_thread *thread);
 int _unpend_all(_wait_q_t *wait_q);
diff --git a/kernel/sched.c b/kernel/sched.c
index c61310c9627..44ea42ec3fd 100644
--- a/kernel/sched.c
+++ b/kernel/sched.c
@@ -430,7 +430,7 @@ void _thread_priority_set(struct k_thread *thread, int prio)
 	}
 }
 
-void _reschedule(int key)
+void _reschedule(u32_t key)
 {
 #ifdef CONFIG_SMP
 	if (!_current_cpu->swap_ok) {