-extern void i386_signal_cpu(int cpu, mp_event_t event, mp_sync_t mode);
-extern void i386_signal_cpus(mp_event_t event, mp_sync_t mode);
-extern int i386_active_cpus(void);
-extern void i386_activate_cpu(void);
-extern void i386_deactivate_cpu(void);
-extern void cpu_NMI_interrupt(int /* cpu */);
+extern void i386_signal_cpu(int cpu, mp_event_t event, mp_sync_t mode);
+extern void i386_activate_cpu(void);
+extern void i386_deactivate_cpu(void);
+extern void cpu_NMI_interrupt(int /* cpu */);