patch_atihdmi    4071 sound/pci/hda/patch_hdmi.c HDA_CODEC_ENTRY(0x1002793c, "RS600 HDMI",	patch_atihdmi),
patch_atihdmi    4072 sound/pci/hda/patch_hdmi.c HDA_CODEC_ENTRY(0x10027919, "RS600 HDMI",	patch_atihdmi),
patch_atihdmi    4073 sound/pci/hda/patch_hdmi.c HDA_CODEC_ENTRY(0x1002791a, "RS690/780 HDMI",	patch_atihdmi),
patch_atihdmi    4074 sound/pci/hda/patch_hdmi.c HDA_CODEC_ENTRY(0x1002aa01, "R6xx HDMI",	patch_atihdmi),