static inline void send_IPI_allbutself(int vector)
{
- cpumask_t mask = cpu_online_map;
- cpu_clear(smp_processor_id(), mask);
+ cpumask_t mask = cpumask_of_cpu(smp_processor_id());
+ cpus_complement(mask);
+ cpus_and(mask, mask, cpu_online_map);
if (!cpus_empty(mask))
send_IPI_mask(mask, vector);
}