void __init platform_secondary_init(unsigned int cpu) 
void __cpuinit platform_secondary_init(unsigned int cpu) 
void __init platform_secondary_init(unsigned int cpu){	/*	 * the primary core may have used a "cross call" soft interrupt	 * to get this processor out of WFI in the BootMonitor - make	 * sure that we are no longer being sent this soft interrupt	 */	smp_cross_call_done(cpumask_of_cpu(cpu));	/*	 * if any interrupts are already enabled for the primary	 * core (e.g. timer irq), then they will not have been enabled	 * for us: do so	 */	secondary_scan_irqs();	/*	 * let the primary processor know we're out of the	 * pen, then head off into the C entry point	 */	pen_release = -1;	/*	 * Synchronise with the boot thread.	 */	spin_lock(&boot_lock);	spin_unlock(&boot_lock);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/bd6f68af298cab4e059f8489b56e46ae36243fcc/platsmp.c/buggy/arch/arm/mach-integrator/platsmp.c