for_each_online_cpu(cpu) 
for_each_present_cpu(cpu) 
void show_ipi_list(struct seq_file *p){	unsigned int cpu;	seq_puts(p, "IPI:");	for_each_online_cpu(cpu)		seq_printf(p, " %10lu", per_cpu(ipi_data, cpu).ipi_count);	seq_putc(p, '\n');}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e11b2236eace94ad9a2e421904742e83976405ed/smp.c/clean/arch/arm/kernel/smp.c