From 1424561252f9e42543a4cb742eef76f4c262fb63 Mon Sep 17 00:00:00 2001 From: Adithya Baglody Date: Thu, 11 Oct 2018 14:52:56 +0530 Subject: [PATCH] kernel: sched: Fixed incorrect argument type of _reschedule() This API shouldn't take a int type but instead it should take u32_t. This argument has to be similar to irq_lock() and irq_unlock(). Signed-off-by: Adithya Baglody --- kernel/include/ksched.h | 2 +- kernel/sched.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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) {