1 files changed, 1 insertions, 0 deletions
diff --git a/vl.h b/vl.h
index 5cbbc4fb81..6bc2d73f6a 100644
--- a/vl.h
+++ b/vl.h
@@ -159,6 +159,7 @@ extern int win2k_install_hack;
 extern int usb_enabled;
 extern int smp_cpus;
 extern int no_quit;
+extern int semihosting_enabled;
 
 #define MAX_OPTION_ROMS 16
 extern const char *option_rom[MAX_OPTION_ROMS];