HDMI audio?

[Neal Becker]

F10 on HP dv9000.

I've seen some articles, but still confused how to get hdmi audio.

aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: Intel [HDA Intel], device 0: ALC268 Analog [ALC268 Analog]
  Subdevices: 0/1
  Subdevice #0: subdevice #0
card 0: Intel [HDA Intel], device 6: Si3054 Modem [Si3054 Modem]
  Subdevices: 1/1
  Subdevice #0: subdevice #0

No digital audio device shown. 

Should it show up under the intel alc268, or would it be the nvidia device 
that supplies video to the hdmi?

Hints?