| 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 | |||||
| 11 | #endif | ||||