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);