printk("CPU %i done callin...\n", cpu); 
printk("CPU %d done callin...\n", cpu); 
int __devinit start_secondary(void *unused){	int cpu;	atomic_inc(&init_mm.mm_count);	current->active_mm = &init_mm;	cpu = smp_processor_id();        smp_store_cpu_info(cpu);	set_dec(tb_ticks_per_jiffy);	cpu_callin_map[cpu] = 1;	printk("CPU %i done callin...\n", cpu);	smp_ops->setup_cpu(cpu);	printk("CPU %i done setup...\n", cpu);	local_irq_enable();	smp_ops->take_timebase();	printk("CPU %i done timebase take...\n", cpu);	cpu_idle();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/31139971b3dc9fbb2e8a8572fb81e6e8470f363a/smp.c/buggy/arch/ppc/kernel/smp.c