preempt_disable(); 
void __init smp_callin(void){	extern void cpu_idle(void);	int cpu = cpu_now_booting;	reg_intr_vect_rw_mask vect_mask = {0};	/* Initialise the idle task for this CPU */	atomic_inc(&init_mm.mm_count);	current->active_mm = &init_mm;	/* Set up MMU */	cris_mmu_init();	__flush_tlb_all();	/* Setup local timer. */	cris_timer_init();	/* Enable IRQ and idle */	REG_WR(intr_vect, irq_regs[cpu], rw_mask, vect_mask);	unmask_irq(IPI_INTR_VECT);	unmask_irq(TIMER_INTR_VECT);	local_irq_enable();	cpu_set(cpu, cpu_online_map);	cpu_idle();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/smp.c/clean/arch/cris/arch-v32/kernel/smp.c