__BEGIN_DECLS
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);
__BEGIN_DECLS
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);