Configure options to enable/disable all softmmu/user targets.
[qemu] / vl.h
diff --git a/vl.h b/vl.h
index 4d215e7..ada0788 100644 (file)
--- a/vl.h
+++ b/vl.h
@@ -960,7 +960,8 @@ void do_usb_del(const char *devname);
 void usb_info(void);
 
 /* integratorcp.c */
-extern QEMUMachine integratorcp_machine;
+extern QEMUMachine integratorcp926_machine;
+extern QEMUMachine integratorcp1026_machine;
 
 /* ps2.c */
 void *ps2_kbd_init(void (*update_irq)(void *, int), void *update_arg);