2 * Copyright (C) 2012 ARM Ltd.
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
13 * You should have received a copy of the GNU General Public License
14 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 #include <linux/threads.h>
20 #include <linux/cpumask.h>
21 #include <linux/thread_info.h>
23 #define raw_smp_processor_id() (current_thread_info()->cpu)
28 * generate IPI list text
30 extern void show_ipi_list(struct seq_file
*p
, int prec
);
33 * Called from C code, this handles an IPI.
35 extern void handle_IPI(int ipinr
, struct pt_regs
*regs
);
38 * Discover the set of possible CPUs and determine their
41 extern void smp_init_cpus(void);
44 * Provide a function to raise an IPI cross call on CPUs in callmap.
46 extern void set_smp_cross_call(void (*)(const struct cpumask
*, unsigned int));
48 extern void (*__smp_cross_call
)(const struct cpumask
*, unsigned int);
51 * Called from the secondary holding pen, this is the secondary CPU entry point.
53 asmlinkage
void secondary_start_kernel(void);
56 * Initial data for bringing up a secondary CPU.
58 struct secondary_data
{
61 extern struct secondary_data secondary_data
;
62 extern void secondary_entry(void);
64 extern void arch_send_call_function_single_ipi(int cpu
);
65 extern void arch_send_call_function_ipi_mask(const struct cpumask
*mask
);
67 extern int __cpu_disable(void);
69 extern void __cpu_die(unsigned int cpu
);
70 extern void cpu_die(void);
72 #endif /* ifndef __ASM_SMP_H */