drivers/video/hdmi/hdmi-codec.c

   1 #include <linux/hdmi.h>
   2 #if defined CONFIG_SND_SOC_WM8900 || defined CONFIG_SND_SOC_RT5631 || defined CONFIG_SND_SOC_RT5621
   3 /* sound/soc/codecs/wm8900.c */
   4 extern void codec_set_spk(bool on);
   5 #else
   6 void codec_set_spk(bool on)
   7 {
   8         /* please add sound switching-related code here or on your codec driver
   9            parameter: on=1 ==> open spk
  10                                   on=0 ==> close spk
  11         */
  12 }
  13 #endif
  14 void hdmi_set_spk(int on)
  15 {
  16         codec_set_spk(on);
  17 }