+
+ if (likely(pvt->i7core_pci))
+ edac_pci_release_generic_ctl(pvt->i7core_pci);
+ else
+ i7core_printk(KERN_ERR,
+ "Couldn't find mem_ctl_info for socket %d\n",
+ i7core_dev->socket);
+ pvt->i7core_pci = NULL;
+
+ edac_mc_del_mc(&i7core_dev->pdev[0]->dev);
+