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);