 if (notify_die(DIE_MCA_RENDZVOUS_LEAVE, "MCA", regs, 0, 0, 0) == NOTIFY_STOP) ia64_mca_spin(__FUNCTION__); 
ia64_mca_rendez_int_handler(int rendez_irq, void *arg, struct pt_regs *ptregs){	unsigned long flags;	int cpu = smp_processor_id();	/* Mask all interrupts */	local_irq_save(flags);	ia64_mc_info.imi_rendez_checkin[cpu] = IA64_MCA_RENDEZ_CHECKIN_DONE;	/* Register with the SAL monarch that the slave has	 * reached SAL	 */	ia64_sal_mc_rendez();	/* Wait for the monarch cpu to exit. */	while (monarch_cpu != -1)	       cpu_relax();	/* spin until monarch leaves */	/* Enable all interrupts */	local_irq_restore(flags);	return IRQ_HANDLED;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9138d581b0ef855c0314c41c14852a7231b9941c/mca.c/buggy/arch/ia64/kernel/mca.c