The problem seems to occur some time after the computer comes out of hibernation. If I turn off or restart the machine, the HDMI sound output remains normal. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://alioth-lists.debian.net/pipermail/pkg-pulseaudio-devel/attachments/20230905/1b9c3032/attachment.htm>