mmavipc@localhost:~$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: MID [HDA Intel MID], device 3: HDMI 0 [HDMI 0]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 0: MID [HDA Intel MID], device 7: HDMI 1 [HDMI 1]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 0: MID [HDA Intel MID], device 8: HDMI 2 [HDMI 2]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
mmavipc@localhost:~$ aplay -L
default
    Playback/recording through the PulseAudio sound server
hdmi:CARD=MID,DEV=0
    HDA Intel MID, HDMI 0
    HDMI Audio Output
hdmi:CARD=MID,DEV=1
    HDA Intel MID, HDMI 1
    HDMI Audio Output
hdmi:CARD=MID,DEV=2
    HDA Intel MID, HDMI 2
    HDMI Audio Output