unsigned int cpu = smp_processor_id(); 
unsigned int cpu;  cpu = smp_processor_id(); 
int start_secondary(void *unused){	unsigned int cpu = smp_processor_id();	atomic_inc(&init_mm.mm_count);	current->active_mm = &init_mm;	smp_store_cpu_info(cpu);	__smp_slave_init(cpu);	per_cpu_trap_init();		atomic_inc(&cpus_booted);	cpu_idle();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/smp.c/buggy/arch/sh/kernel/smp.c