Symbol: i5000_put_devices
drivers/edac/i5000_edac.c
1478
i5000_put_devices(mci);
drivers/edac/i5000_edac.c
1531
i5000_put_devices(mci);