Flash 10 64-bit and Pulseaudio

Today I opened an online radio via flash and the sound was coming out of the speakers of my notebook, when I thought that after configuring ALSA to use Pulseaudio the sound should come out through the TV, connected via HDMI.

To solve it, I did what was suggested in the Arch Linux wiki:

sudo pacman -S lib32-alsa-plugins lib32-libcanberra-pulse

Add to ~/.asoundrc (or /etc/asound.conf):

pcm.!dmix {
    type pulse
}