pcmdev           2156 sound/pci/hda/patch_hdmi.c 	int pcmdev = get_pcm_rec(spec, pcm_idx)->device;
pcmdev           2160 sound/pci/hda/patch_hdmi.c 	if (pcmdev > 0)
pcmdev           2161 sound/pci/hda/patch_hdmi.c 		sprintf(hdmi_str + strlen(hdmi_str), ",pcm=%d", pcmdev);