| Ben Guthro | f447d56 | 2012-04-21 00:11:04 +0800 | [diff] [blame] | 1 | #ifndef _XEN_SMP_H |
| 2 | |
| 3 | extern void xen_send_IPI_mask(const struct cpumask *mask, |
| 4 | int vector); |
| 5 | extern void xen_send_IPI_mask_allbutself(const struct cpumask *mask, |
| 6 | int vector); |
| 7 | extern void xen_send_IPI_allbutself(int vector); |
| Ben Guthro | f447d56 | 2012-04-21 00:11:04 +0800 | [diff] [blame] | 8 | extern void xen_send_IPI_all(int vector); |
| 9 | extern void xen_send_IPI_self(int vector); |
| 10 | |
| Mukesh Rathor | a2ef5dc | 2014-09-10 16:36:06 -0700 | [diff] [blame] | 11 | #ifdef CONFIG_XEN_PVH |
| 12 | extern void xen_pvh_early_cpu_init(int cpu, bool entry); |
| 13 | #else |
| 14 | static inline void xen_pvh_early_cpu_init(int cpu, bool entry) |
| 15 | { |
| 16 | } |
| 17 | #endif |
| 18 | |
| Ben Guthro | f447d56 | 2012-04-21 00:11:04 +0800 | [diff] [blame] | 19 | #endif |