commit 1424561252f9e42543a4cb742eef76f4c262fb63
author Adithya Baglody <adithya.nagaraj.baglody@intel.com> Thu Oct 11 14:52:56 2018 +0530
committer Anas Nashif <anas.nashif@intel.com> Wed Oct 17 07:59:51 2018 -0400
tree 3a6742539b22432ef89d480db538eaf0d8870c27
parent d591588ab5c66dbbf304e4b8add6967b702ded8f

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 <adithya.nagaraj.baglody@intel.com>

kernel/sched.c

diff --git a/kernel/sched.c b/kernel/sched.c
index c61310c..44ea42e 100644
--- a/kernel/sched.c
+++ b/kernel/sched.c
@@ -430,7 +430,7 @@
 	}
 }
 
-void _reschedule(int key)
+void _reschedule(u32_t key)
 {
 #ifdef CONFIG_SMP
 	if (!_current_cpu->swap_ok) {