lspci gives me these two devices:
$ lspci | grep Audio 00:1b.0 Audio device: Intel Corporation 5 Series/3400 Series Chipset High Definition Audio (rev 05) 02:00.1 Audio device: ATI Technologies Inc RV710/730
There are two devices listed in System Settings|Sound|Output:
- RV710/730 Digital Stereo (HDMI)
- Internal Audio Analog Stereo
And finally, the are not muted!
Also, when I run an application that accesses the sound card, I can see it in the Applications tab.