dev_id_saved     1060 sound/pci/hda/patch_hdmi.c 		int dev_id_saved;
dev_id_saved     1093 sound/pci/hda/patch_hdmi.c 		dev_id_saved = snd_hda_get_dev_select(codec, nid);
dev_id_saved     1098 sound/pci/hda/patch_hdmi.c 			snd_hda_set_dev_select(codec, nid, dev_id_saved);
dev_id_saved     1118 sound/pci/hda/patch_hdmi.c 		snd_hda_set_dev_select(codec, nid, dev_id_saved);