ded               164 drivers/edac/ppc4xx_edac.c 		int ded;	/* Double-bit detectable error IRQ assigned */
ded              1144 drivers/edac/ppc4xx_edac.c 	pdata->irqs.ded = ded_irq;
ded              1353 drivers/edac/ppc4xx_edac.c 		free_irq(pdata->irqs.ded, mci);