__local_flat_send_IPI_allbutself(vector); 
__send_IPI_shortcut(APIC_DEST_ALLBUT, vector,APIC_DEST_LOGICAL); 
static void flat_send_IPI_allbutself(int vector){	if (((num_online_cpus()) - 1) >= 1)		__local_flat_send_IPI_allbutself(vector);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/37a47e65fa58d413a31f27ee88f6cb98583b6157/genapic_flat.c/buggy/arch/x86_64/kernel/genapic_flat.c