1 files changed, 7 insertions, 7 deletions
diff --git a/src/kern/init.c b/src/kern/init.c
index c776b4a..9869749 100644
--- a/src/kern/init.c
+++ b/src/kern/init.c
@@ -5,6 +5,13 @@
 #include "arch/stm32l4xxx/peripherals/system.h"
 #include "kern/log.h"
 
+static _no_init init_level_t initlevel;
+
+init_level_t get_system_init_level()
+{
+  return initlevel;
+}
+
 /* Forward-declare the main function. This is implemented in main.c. */
 int main();
 
@@ -29,13 +36,6 @@ extern uint32_t INIT_5_END;
 extern uint32_t INIT_6_END;
 extern uint32_t INIT_7_END;
 
-static _no_init init_level_t initlevel;
-
-init_level_t get_system_init_level()
-{
-  return initlevel;
-}
-
 init0()
 {
   /* Enable a higher clock speed. This is the first thing we do