flat_send_IPI_mask(cpu_online_map, vector); 
__local_flat_send_IPI_all(vector); 
static void flat_send_IPI_all(int vector){	flat_send_IPI_mask(cpu_online_map, vector);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a02c4cb67e4ccd5ce7a13c7f04c2fedb06c35431/genapic_flat.c/clean/arch/x86_64/kernel/genapic_flat.c