Symbol: snd_hda_hdmi_pin_id_to_pin_index