1 files changed, 3 insertions, 0 deletions
diff --git a/vl.h b/vl.h
index 6f4ac7f88e..42954ebc5a 100644
--- a/vl.h
+++ b/vl.h
@@ -928,6 +928,9 @@ void do_usb_add(const char *devname);
 void do_usb_del(const char *devname);
 void usb_info(void);
 
+/* integratorcp.c */
+extern QEMUMachine integratorcp_machine;
+
 /* ps2.c */
 void *ps2_kbd_init(void (*update_irq)(void *, int), void *update_arg);
 void *ps2_mouse_init(void (*update_irq)(void *, int), void *update_arg);