/* edac_mc_free 'Free' a previously allocated 'mci' structure @mci: pointer to a struct mem_ctl_info structure  */
void edac_mc_free(struct mem_ctl_info *mci)
/* edac_mc_free 'Free' a previously allocated 'mci' structure @mci: pointer to a struct mem_ctl_info structure  */
void edac_mc_free(struct mem_ctl_info *mci)
{
	edac_mc_unregister_sysfs_main_kobj(mci);
}