cpu_clear(smp_processor_id(), mask); 
int me = get_cpu(); /* Ensure we are not preempted when we clear */  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);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0c2b9d5c035f5a82c9c4ba717984d04838a0701e/genapic_cluster.c/buggy/arch/x86_64/kernel/genapic_cluster.c