1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/main.c b/extras/mini-os/main.c
index dac185a528..5857c0bd4c 100644
--- a/extras/mini-os/main.c
+++ b/extras/mini-os/main.c
@@ -52,6 +52,7 @@ static void call_main(void *p)
 #ifdef CONFIG_QEMU
     char *vm;
     char path[128];
+    int domid;
 #endif
     int i;
 
@@ -74,7 +75,6 @@ static void call_main(void *p)
     }
 
     /* Fetch argc, argv from XenStore */
-    int domid;
     domid = xenbus_read_integer("target");
     if (domid == -1) {
         printk("Couldn't read target\n");