asmlinkage void __init secondary_start_kernel(void) 
asmlinkage void __cpuinit secondary_start_kernel(void) 
asmlinkage void __init secondary_start_kernel(void){	struct mm_struct *mm = &init_mm;	unsigned int cpu = smp_processor_id();	printk("CPU%u: Booted secondary processor\n", cpu);	/*	 * All kernel threads share the same mm context; grab a	 * reference and switch to it.	 */	atomic_inc(&mm->mm_users);	atomic_inc(&mm->mm_count);	current->active_mm = mm;	cpu_set(cpu, mm->cpu_vm_mask);	cpu_switch_mm(mm->pgd, mm);	enter_lazy_tlb(mm, current);	cpu_init();	/*	 * Give the platform a chance to do its own initialisation.	 */	platform_secondary_init(cpu);	/*	 * Enable local interrupts.	 */	local_irq_enable();	local_fiq_enable();	calibrate_delay();	smp_store_cpu_info(cpu);	/*	 * OK, now it's safe to let the boot CPU continue	 */	cpu_set(cpu, cpu_online_map);	/*	 * OK, it's off to the idle thread for us	 */	cpu_idle();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bd6f68af298cab4e059f8489b56e46ae36243fcc/smp.c/buggy/arch/arm/kernel/smp.c