Remove arch_init() prototype from arch.h

diff --git a/kernel/core/main.c b/kernel/core/main.c
index e43a9d985e1ebee33cb24d856f543940d6b8d316..a105ffececa8a2475261662332c49bc347bd8002 100644 (file)
--- a/kernel/core/main.c
+++ b/kernel/core/main.c
@@ -22,6 +22,7 @@
 #include <arch.h>
 
 void cpu_debug(void);
+int arch_init(void*);
 
 void _print_mptbl(void *tbl)
 {

diff --git a/kernel/include/arch.h b/kernel/include/arch.h
index 49ad39cef5a752ae801a03d945c8742551561b80..6b6c65ffe95b3ed306d985bf7e162bc816aaff10 100644 (file)
--- a/kernel/include/arch.h
+++ b/kernel/include/arch.h
@@ -21,7 +21,6 @@
 
 #include <corax/types.h>
 
-int     arch_init(void*);
 int     cpu_get_id(void);
 u64_t   cpu_get_capabilities(void);
 u64_t   cpu_timestamp(void);