/* edac_device_free_ctl_info() frees the memory allocated by the edac_device_alloc_ctl_info() function  */
void edac_device_free_ctl_info(struct edac_device_ctl_info *ctl_info)
/* edac_device_free_ctl_info() frees the memory allocated by the edac_device_alloc_ctl_info() function  */
void edac_device_free_ctl_info(struct edac_device_ctl_info *ctl_info)
{
	edac_device_unregister_sysfs_main_kobj(ctl_info);
}