830 static void idxd_free_saved(struct idxd_group **saved_groups,  in idxd_free_saved()  argument
835 	if (saved_groups)  in idxd_free_saved()
836 		idxd_free_saved_configs(saved_groups, idxd->max_groups);  in idxd_free_saved()
860 	struct idxd_group **saved_groups __free(kfree) =  in idxd_device_config_save()
864 	if (!saved_groups)  in idxd_device_config_save()
874 			idxd_free_saved(saved_groups, NULL, NULL, idxd);  in idxd_device_config_save()
880 		saved_groups[i] = no_free_ptr(saved_group);  in idxd_device_config_save()
889 		idxd_free_saved(saved_groups, NULL, NULL, idxd);  in idxd_device_config_save()
899 			idxd_free_saved(saved_groups, saved_engines, NULL,  in idxd_device_config_save()
914 		idxd_free_saved(saved_groups, saved_engines, NULL, idxd);  in idxd_device_config_save()
926 		idxd_free_saved(saved_groups, saved_engines, NULL, idxd);  in idxd_device_config_save()
939 			idxd_free_saved(saved_groups, saved_engines, saved_wqs,  in idxd_device_config_save()
956 	idxd_saved->saved_groups = no_free_ptr(saved_groups);  in idxd_device_config_save()
982 		saved_group = idxd_saved->saved_groups[i];  in idxd_device_config_restore()
993 	kfree(idxd_saved->saved_groups);  in idxd_device_config_restore()