1 #ifndef _MACH_BF561_SMP
2 #define _MACH_BF561_SMP
6 void platform_init_cpus(void);
8 void platform_prepare_cpus(unsigned int max_cpus
);
10 int platform_boot_secondary(unsigned int cpu
, struct task_struct
*idle
);
12 void platform_secondary_init(unsigned int cpu
);
14 void platform_request_ipi(int (*handler
)(int, void *));
16 void platform_send_ipi(cpumask_t callmap
);
18 void platform_send_ipi_cpu(unsigned int cpu
);
20 void platform_clear_ipi(unsigned int cpu
);
22 #endif /* !_MACH_BF561_SMP */