From 0034ad4f1135b1fd5a56750acc07bd91f2687673 Mon Sep 17 00:00:00 2001
From: Matthias Kruk <m@m10k.eu>
Date: Mon, 10 Feb 2020 19:45:48 +0900
Subject: [PATCH] arch/interrupt: Remove declaration of sched_wait() and
 include <sched.h> instead

---
 kernel/arch/interrupt.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/arch/interrupt.c b/kernel/arch/interrupt.c
index 946a136..60e3399 100644
--- 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)
-- 
2.47.3