cpu_clear(smp_processor_id(), mask);
int me = get_cpu();   cpu_clear(me, mask);
static void cluster_send_IPI_allbutself(int vector){	cpumask_t mask = cpu_online_map;	cpu_clear(smp_processor_id(), mask);	if (!cpus_empty(mask))		cluster_send_IPI_mask(mask, vector);}