x86/xen: resume timer irqs early
[linux/fpc-iii.git] / arch / x86 / xen / smp.h
blobc7c2d89efd76ac3c7627168b0a3d2f3964627f66
1 #ifndef _XEN_SMP_H
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);
8 extern void xen_send_IPI_all(int vector);
9 extern void xen_send_IPI_self(int vector);
11 #endif