#else cpumask_t allbutme = cpu_online_map; int me = get_cpu(); /* Ensure we are not preempted when we clear */ cpu_clear(me, allbutme);  if (!cpus_empty(allbutme)) flat_send_IPI_mask(allbutme, vector); put_cpu(); #endif 
static void flat_send_IPI_allbutself(int vector){	if (((num_online_cpus()) - 1) >= 1)		__send_IPI_shortcut(APIC_DEST_ALLBUT, vector,APIC_DEST_LOGICAL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fdf26d933a8171c2a5bd35b4a5ca3b099a216a35/genapic_flat.c/buggy/arch/x86_64/kernel/genapic_flat.c