i5000_put_devices 1470 drivers/edac/i5000_edac.c 	i5000_put_devices(mci);
i5000_put_devices 1516 drivers/edac/i5000_edac.c 	i5000_put_devices(mci);