cpumask_t mask; /* * if there are no other CPUs in the system then * we get an APIC send error if we try to broadcast. * thus we have to avoid sending IPIs in this case. */ int this_cpu = get_cpu();  mask = cpu_online_map; cpu_clear(this_cpu, mask);  if (cpus_weight(mask) >= 1) flat_send_IPI_mask(mask, vector);  put_cpu(); 
if (((num_online_cpus()) - 1) >= 1) __local_flat_send_IPI_allbutself(vector); 
static void flat_send_IPI_allbutself(int vector){	cpumask_t mask;	/*	 * if there are no other CPUs in the system then	 * we get an APIC send error if we try to broadcast.	 * thus we have to avoid sending IPIs in this case.	 */	int this_cpu = get_cpu();	mask = cpu_online_map;	cpu_clear(this_cpu, mask);	if (cpus_weight(mask) >= 1)		flat_send_IPI_mask(mask, vector);	put_cpu();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a02c4cb67e4ccd5ce7a13c7f04c2fedb06c35431/genapic_flat.c/clean/arch/x86_64/kernel/genapic_flat.c