kernel/arch/x86/xen/smp.h

   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);
   8 extern void xen_send_IPI_all(int vector);
   9 extern void xen_send_IPI_self(int vector);
  10
  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
  19 #endif