void xen_send_IPI_mask_allbutself(const struct cpumask *mask, int vector) { unsigned cpu; unsigned int this_cpu = smp_processor_id(); int xen_vector = xen_map_vector(vector); if (!(num_online_cpus() > 1) || (xen_vector < 0)) return; for_each_cpu_and(cpu, mask, cpu_online_mask) { if (this_cpu == cpu) continue; xen_send_IPI_one(cpu, xen_vector); } }
static void xen_smp_send_reschedule(int cpu) { xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); }