Commit | Line | Data |
---|---|---|
f447d56d BG |
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); | |
f447d56d BG |
8 | extern void xen_send_IPI_all(int vector); |
9 | extern void xen_send_IPI_self(int vector); | |
10 | ||
a2ef5dc2 MR |
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 | ||
f447d56d | 19 | #endif |