Symbol: i5400_put_devices
drivers/edac/i5400_edac.c
1354
i5400_put_devices(mci);
drivers/edac/i5400_edac.c
1401
i5400_put_devices(mci);