__local_flat_send_IPI_all(vector); 
__send_IPI_shortcut(APIC_DEST_ALLINC, vector, APIC_DEST_LOGICAL); 
static void flat_send_IPI_all(int vector){	__local_flat_send_IPI_all(vector);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/37a47e65fa58d413a31f27ee88f6cb98583b6157/genapic_flat.c/buggy/arch/x86_64/kernel/genapic_flat.c