Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
*/
extern void show_ipi_list(struct seq_file *p);
+/*
+ * Called from assembly code, this handles an IPI.
+ */
+asmlinkage void do_IPI(struct pt_regs *regs);
+
/*
* Move global data into per-processor storage.
*/
*/
extern int boot_secondary(unsigned int cpu, struct task_struct *);
+/*
+ * Called from platform specific assembly code, this is the
+ * secondary CPU entry point.
+ */
+asmlinkage void secondary_start_kernel(void);
+
/*
* Perform platform specific initialisation of the specified CPU.
*/