The mask and direction are unquestionably correct.  The mask is set up 
by pci_setup_device() and not changed thereafter.  Furthermore, the 
audio works okay until another device (a DVB tuner) is plugged in.  

Alan Stern

--

[ message continues ]

Could the driver for the DVB tuner change the PCI mask? That is, change
the pci mask way after it has been initialized (don't laugh, this did
happend - as I remember 4 months fix was posted on the DRM mailing list
for this).
--

[ message continues ]

I can also trigger the bug on mount and unmount of a USB stick, albeit
its not as intensive.

Pedro
--

[ message continues ]