1 /* SPDX-License-Identifier: GPL-2.0 */
6 void asm_cpu_bringup_and_idle(void);
7 asmlinkage void cpu_bringup_and_idle(void);
9 extern void xen_send_IPI_mask(const struct cpumask *mask,
11 extern void xen_send_IPI_mask_allbutself(const struct cpumask *mask,
13 extern void xen_send_IPI_allbutself(int vector);
14 extern void xen_send_IPI_all(int vector);
15 extern void xen_send_IPI_self(int vector);
17 extern int xen_smp_intr_init(unsigned int cpu);
18 extern void xen_smp_intr_free(unsigned int cpu);
19 int xen_smp_intr_init_pv(unsigned int cpu);
20 void xen_smp_intr_free_pv(unsigned int cpu);
22 void xen_smp_cpus_done(unsigned int max_cpus);
24 void xen_smp_send_reschedule(int cpu);
25 void xen_smp_send_call_function_ipi(const struct cpumask *mask);
26 void xen_smp_send_call_function_single_ipi(int cpu);
28 void __noreturn xen_cpu_bringup_again(unsigned long stack);
30 struct xen_common_irq {
34 #else /* CONFIG_SMP */
36 static inline int xen_smp_intr_init(unsigned int cpu)
40 static inline void xen_smp_intr_free(unsigned int cpu) {}
42 static inline int xen_smp_intr_init_pv(unsigned int cpu)
46 static inline void xen_smp_intr_free_pv(unsigned int cpu) {}
47 #endif /* CONFIG_SMP */