arch/interrupt: Remove declaration of sched_wait() and include <sched.h> instead

diff --git a/kernel/arch/interrupt.c b/kernel/arch/interrupt.c
index 946a1361ec29530c942f8004af053407016f8a27..60e3399312cdad5d5faf502bf3f23182ac2c26db 100644 (file)
--- a/kernel/arch/interrupt.c
+++ b/kernel/arch/interrupt.c
@@ -24,13 +24,13 @@
 #include <process.h>
 #include <signal.h>
 #include <string.h>
+#include <sched.h>
 #include "cpu.h"
 #include "defs.h"
 
 extern void pg_fault_debug(pg_dir_t*, void*);
 extern void _task_sig_stub();
 
-void sched_tick(void);
 extern int sys_cxnet(long, long, long, long, long, long, long);
 extern int sys_cxipc(long, long, long);
 #if FEATURE(POSIX)