diff --git a/uisimulator/win32/kernel.c b/uisimulator/win32/kernel.c
index 7aac99f84a..466950eba0 100644
--- a/uisimulator/win32/kernel.c
+++ b/uisimulator/win32/kernel.c
@@ -28,6 +28,12 @@
    If it does, we should put this within #ifdef __MINGW32__ */
 int errno;
 
+int set_irq_level (int level)
+{
+    static int _lv = 0;
+    return (_lv = level);
+}
+
 void sleep(int ticks)
 {
     Sleep (1000 / HZ * ticks);
@@ -98,12 +104,6 @@ void switch_thread (void)
     yield ();
 }
 
-int set_irq_level (int level)
-{
-    static int _lv = 0;
-    return (_lv = level);
-}
-
 /* TODO: Implement mutexes for win32 */
 void mutex_init(struct mutex *m)
 {