void mpic_teardown_this_cpu(void) 
void mpic_teardown_this_cpu(int secondary) 
void mpic_teardown_this_cpu(void){	struct mpic *mpic = mpic_primary;	unsigned long flags;	u32 msk = 1 << hard_smp_processor_id();	unsigned int i;	BUG_ON(mpic == NULL);	DBG("%s: teardown_this_cpu(%d)\n", mpic->name, hard_smp_processor_id());	spin_lock_irqsave(&mpic_lock, flags);	/* let the mpic know we don't want intrs.  */	for (i = 0; i < mpic->num_sources ; i++)		mpic_irq_write(i, MPIC_IRQ_DESTINATION,			mpic_irq_read(i, MPIC_IRQ_DESTINATION) & ~msk);	/* Set current processor priority to max */	mpic_cpu_write(MPIC_CPU_CURRENT_TASK_PRI, 0xf);	spin_unlock_irqrestore(&mpic_lock, flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6d22d85a852b72398a81b8e476977b28b4400f7c/mpic.c/buggy/arch/ppc64/kernel/mpic.c