I would like to use HDMI on my graphic card for audio output. ALSA shows it as a card with 4 devices and I can get sound through one of them (the other three are different channels, perhaps? I have only stereo output connected). Although Pulseaudio has the right card set as default, it seems to me that it plays on the wrong device. Pacmd shows that the sink has parameter alsa.device set to the first device listed by ALSA, but I can get sound only from the second one.
How can I force Pulseaudio to use another device of the same card as the default output?
How can I force ALSA to switch numbers of the first and the second device on the card?