*/
extern void core_send_ipi(int cpu, unsigned int action);
+/*
+ * Detect available CPUs, populate phys_cpu_present_map
+ */
+extern void prom_build_cpu_map(void);
+
/*
* Firmware CPU startup hook
*/
extern void prom_init_secondary(void);
/*
- * Detect available CPUs, populate phys_cpu_present_map before smp_init
+ * Callout to firmware before smp_init
*/
extern void prom_prepare_cpus(unsigned int max_cpus);