system loses HDMI sound device

[Eyal Lebedinsky]

This is up-to-date f32 amd64.

 From time to time I find that I do not have sound, and then pavucontrol shows no
configuration
is available. Sound is via HDMI to the monitor (TV). The internal sound device is not
used.

So far the only way out I found is to log out/in, but this is not ideal. Is there a way
to
make the system (I suspect it is X) see the sound device and enable it? Maybe with a udev
command?

When all is well, I see this:
$ udevadm trigger -n -v |grep sound
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/hwC0D0
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/hwC0D2
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input12
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input12/event12
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input13
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input13/event13
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input14
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input14/event14
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input15
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input15/event15
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input16
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input16/event17
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input17
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input17/event18
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input18
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input18/event19
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input19
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input19/event20
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input20
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input20/event21
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input21
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/input21/event22
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D0c
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D0p
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D10p
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D1p
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D2c
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D3p
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D7p
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D8p
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/pcmC0D9p
/sys/devices/pci0000:00/0000:00:1f.3/sound/card0/controlC0
/sys/devices/virtual/sound/seq
/sys/devices/virtual/sound/timer

When I have no sound I am missing the last two devices.

In case it is related, there is also a KVM instance running on this machine.

-- 
Eyal Lebedinsky (fedora(a)eyal.emu.id.au)