generic_spec_free 2352 sound/pci/hda/patch_hdmi.c 	generic_spec_free(codec);
generic_spec_free 2430 sound/pci/hda/patch_hdmi.c 		generic_spec_free(codec);
generic_spec_free 2817 sound/pci/hda/patch_hdmi.c 		generic_spec_free(codec);