/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _XEN_SMP_H #ifdef [31mCONFIG_SMP[0m extern void xen_send_IPI_mask(const struct cpumask *mask, int vector); extern void xen_send_IPI_mask_allbutself(const struct cpumask *mask, int vector); extern void xen_send_IPI_allbutself(int vector); extern void xen_send_IPI_all(int vector); extern void xen_send_IPI_self(int vector); extern int xen_smp_intr_init(unsigned int cpu); extern void xen_smp_intr_free(unsigned int cpu); int xen_smp_intr_init_pv(unsigned int cpu); void xen_smp_intr_free_pv(unsigned int cpu); void xen_smp_cpus_done(unsigned int max_cpus); void xen_smp_send_reschedule(int cpu); void xen_smp_send_call_function_ipi(const struct cpumask *mask); void xen_smp_send_call_function_single_ipi(int cpu); struct xen_common_irq { int irq; char *name; }; #else /* CONFIG_SMP */ static inline int xen_smp_intr_init(unsigned int cpu) { return 0; } static inline void xen_smp_intr_free(unsigned int cpu) {} static inline int xen_smp_intr_init_pv(unsigned int cpu) { return 0; } static inline void xen_smp_intr_free_pv(unsigned int cpu) {} #endif /* CONFIG_SMP */ #endif |