* FIXME: Find affected processes and kill them, otherwise we * must die. 
* FIXME: Find the affected processes and kill them, otherwise * we must die. 
irqreturn_t dec_ecc_be_interrupt(int irq, void *dev_id, struct pt_regs *regs){	int action = dec_ecc_be_backend(regs, 0, 1);	if (action == MIPS_BE_DISCARD)		return IRQ_HANDLED;	/*	 * FIXME: Find affected processes and kill them, otherwise we	 * must die.	 *	 * The interrupt is asynchronously delivered thus EPC and RA	 * may be irrelevant, but are printed for a reference.	 */	printk(KERN_ALERT "Fatal bus interrupt, epc == %08lx, ra == %08lx\n",	       regs->cp0_epc, regs->regs[31]);	die("Unrecoverable bus error", regs);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64dac503e8265007ea5c53b4d6bf42488a8a8d7a/ecc-berr.c/buggy/arch/mips/dec/ecc-berr.c